Smalltalk総合 Squeak Pharo

**デフォルトの名無しさん** · 2013/02/16(土) 14:10:29.12

Squeak
http://www.squeak.org/
Pharo
http://www.pharo-project.org/home

商用
Cincom VisualWorks
http://smalltalk.cincom.jp/main/products/visualworks/

**デフォルトの名無しさん** · 2014/12/29(月) 19:19:35.25

>>172
http://wiki.squeak.org/squeak/488
ここ見た？このページにある、
http://bike-nomad.com/squeak/DriveUsingKeyboard.002.pr
このプロジェクトをSqueakland 2005Jで読み込んだら矢印キーで操作できた。
worldのkeyWatcherスクリプトに書いてある。詳しくはわかんない。

**デフォルトの名無しさん** · 2014/12/29(月) 20:09:43.03

ありがとう
けれどそれeToys 5.0じゃダメみたい
でもそのページのワールドのキーストロークを使えるみたいな説明があったので
部分的には使えるかな
そこのページに書かれているけどモディファイやキーや複数キーの同時押しなんかには対応できないらしいのが残念
右と上の矢印キーの同時押しで右上に動くとかやりたいけど無理みたいね

**デフォルトの名無しさん** · 2014/12/31(水) 15:15:04.47

今年を振り返って一行プログラムでもやろうかと思ったけど
特に何も思いつかなかった

**デフォルトの名無しさん** · 2015/02/01(日) 10:27:33.83

大使館に姉妹スレ立てといた
誰もこん

Smalltalk [転載禁止]?2ch.net
http://maguro.2ch.net/test/read.cgi/prog8/1421048181/

**デフォルトの名無しさん** · 2015/02/01(日) 21:47:48.16

>>4
超重要なのは君の頭の中だけで
誰も必要としてないからだよ

というツッコミがないのが凄いスレ

**デフォルトの名無しさん** · 2015/02/01(日) 22:14:37.31

Smalltalkより
キミがどうしてそんな書き込みを
今、わざわざしたくなったのかの方に興味がわく

**デフォルトの名無しさん** · 2015/02/02(月) 02:00:32.21

そういや昔アラン・ケイが来日したときサインして貰った本がでてきた

**デフォルトの名無しさん** · 2015/02/05(木) 01:14:54.06

>>178
オブジェクト指向の元祖はSimulaだしSmalltalkなどは完全に無視できる派
ストラウストラップがSmalltalkを重要視してないので
かつてはC++ユーザーにもそういう人がいたのだという。

**デフォルトの名無しさん** · 2015/02/05(木) 08:44:08.12

うん。
世の中にはそういう主張をする派があって、キミがその派に属することはわかった。

で、ならばその完全に無視していいはずの Smalltalk のスレを
今、ここにきてどうして無視できなくなったのかに興味がわく

**デフォルトの名無しさん** · 2015/02/05(木) 11:22:44.97

そんなことより
WindowsのVMはIMEのインライン化がいまだにできないことと
OSXのVMはネイティブのMenuBar(NSMenu)を使えるようにならないことが不満ではある
Windowにメニューが張り付くのはあんまりいい気がしない・・

**デフォルトの名無しさん** · 2015/02/05(木) 21:34:10.11

これ最近さわりはじめて
発想がすごく面白いと思ったけど
やっぱ実用的な面で欲しい機能もある

たとえば作ったアプリは実行ファイル
（Windowsでいう .exeファイル）で配布したい

実行形式じゃないと絶対ダメってほど頭固くないけど
（速度が）早い・（容量が）小さい・（コードを）隠せる
ってメリットがあるから便利だと思う

それ（に近いこと）ができる処理系もあるようだけど
もともと少数派のSmalltalkの中で分家筋を使うと
さらに日本語ドキュメント少なくなって使いにくいし
（というわけでとりあえずSqueakさわってる）

Webアプリならサーバの部分はクライアントから見えないけど
今度はレンサバに入ってないからPHPのほうが早いってなる

そういうCファミリーのメジャー言語のいろんな恩恵に
どっぷり漬かっちゃってるから参入障壁になってる

自分ひとり用の環境としては面白いけど……

Smalltalkは初心者だから
なにか初歩的な誤解があるかもしれないが
あったらツッコミしてくれ

**デフォルトの名無しさん** · 2015/02/05(木) 22:37:03.73

>>183
俺はずっと初心者だけど
やはり最初は.exe作りたいと思ってた
できることが面白くなってからは、そういうこだわりは無くなったかな
まぁ配布したいものもないんだけど

Scratchもそうだけどpr、sar、imageで配布だし、そういうプラットフォームなんだと割り切ってる
他の人に使ってもらうにはインストールから説明しないといけないから、
確かに寂しいと思うけどね
SqueakだとWindowsの.exe作る方法もあったと思うけど．．．

そうね自分ひとり用の環境としては面白いからSqueakでArduinoと通信するものとか
自宅LAN用のComSwikiのプラグインたまに作るくらいだけど

**183** · 2015/02/06(金) 00:21:36.08

>>184
＞そういうこだわりは無くなった
＞自分ひとり用の環境としては面白い
オレもひとり用で完結した環境でいいかなとも思ってるんだけど
やっぱ最終的にはアウトプットを外に出したいって気持ちもある

それでプログラムの開発環境（言語）としてこれを使いたい
とりあえず動くプロトタイプ作るなら早そうだから

もし配布までになんかしら難があるようなら
本格的に開発するときは他言語に移植してもいい
二度手間だけど設計ツールとして割り切って使う

＞他の人に使ってもらうには
＞インストールから説明しないといけない
独自形式の配布は一般ユーザにとって障壁になるよな

＞SqueakだとWindowsの.exe作る方法もあった
サンクス
それは知らなかった
探してみる

**デフォルトの名無しさん** · 2015/02/06(金) 02:31:41.92

>>184
VisualWorksもexeやappで配布することはできる
やり方が大変面倒だがApplication Deliveryの項目を一通り見ればわかると思う

**デフォルトの名無しさん** · 2015/02/07(土) 02:31:03.91

Smalltalkはどんな分野に向いてるの？

なんでもいいんだけど、昔Perlが流行ってた頃
文字列処理が得意って言われてたみたいなの

**デフォルトの名無しさん** · 2015/02/07(土) 10:14:31.87

>>187
sc187 ：デフォルトの名無しさん：2015/02/07(土) 08:56:47.57 ID:794JOOqUX[1/2]
Smalltalkに詳しいわけじゃないけど、走ってるシステムを簡単に変更できてすぐに結果がわかる言語って他に余り無いんじゃない。
common lispでも走ってるシステムを変更しながら開発をするような言語仕様になってるけどSmalltalkほど徹底してないと思う。

sc188 ：デフォルトの名無しさん：2015/02/07(土) 08:59:03.24 ID:794JOOqUX[2/2]
erlangも動的なソフトの入れ替えの仕組みがあるか

**デフォルトの名無しさん** · 2015/02/07(土) 15:09:27.85

>>188
> 走ってるシステムを簡単に変更できてすぐに結果がわかる言語
そうだね

開発環境の部分はすごくとっつきやすく感じた
逆に他言語だと今まで動作確認のたびに
いちいちビルドしてたのがめんどうくさく感じてくる

でもいざ実用的なソフトを開発しようとなると
巨大なクラスライブラリを覚える必要がある
しかもそれはロクに説明なくて
ソース（か英語ドキュメント）を読まないといけない

GUIの部分はやさしいし
言語仕様もシンプルだけど
ライブラリを使うのが難しい

**デフォルトの名無しさん** · 2015/02/07(土) 15:55:49.77

>>189
「お勧めなのは、エキスパートによって作られた、広大なライブラリの類に頼らないことです。それは安易な解決策になってくれるように思えるだけです。代わりに、何もないところから、素早くプログラミングです。Squeakはそうした目的のために作られています。」
特別寄稿ー Alan Kayからのメッセージ『ダイナミック・オブジェクト』（『自由自在Squeakプログラミング』梅澤真史著）
まぁそうは言っても．．．だけどね
VWを業務で使ってる人達はどう思うのかしら？
でもライブラリの機能や使用例もソースから調べやすいし、テストしやすいとは思うけど、
最近何も作ってないや

**デフォルトの名無しさん** · 2015/02/07(土) 21:15:51.86

>>190
それ読んだとき半分くらいは共感したんだけど
（C++とWin32APIがめんどくさすぎるから）

できる範囲で車輪の再発明するとしても
入出力とか、画像処理、通信みたいな低レイヤーは
ほんとに何もないとこからは作れない

どんな言語でもライブラリ覚える必要はあるんだけど
これは日本語リファレンスがすごい欲しくなる

まあアウトプットが文字列みたいな
小物アプリをぼちぼち作りつつライブラリを
少しずつ覚えていこうみたいな感じなのかな

**デフォルトの名無しさん** · 2015/02/07(土) 21:57:43.31

>>191
そうだねそう思う
ググれば日本語でも参考になる例はあるから、なんとかなるけど、
ライブラリ覚える気はないけど、知らなければ発想できないこともあるしね。
『自由自在～』読み返したり、Pharocast見たりしてできること、アイデアを学ぼうとするけど、
それより何か作ろうとしなくちゃダメかな、と思ってる

**デフォルトの名無しさん** · 2015/02/08(日) 09:17:41.26

一生思ってろ

**デフォルトの名無しさん** · 2015/02/08(日) 10:37:51.19

Smalltalk ほど単純なルールで構成されてる言語・環境を
どうしてだか理解できない人がいるのはしょうがないとしても
逆恨みして粘着アンチ化するのをどうにか避けられないものか。

**デフォルトの名無しさん** · 2015/02/08(日) 12:16:09.65

Squeakでプロトタイプ作って来られるとか経験すれば、逆恨みする人の気持ちも分かると思う

**デフォルトの名無しさん** · 2015/02/08(日) 13:49:06.94

Smalltalkで受託開発してるけど逆恨みする人の気持ちは全くわからない。

**デフォルトの名無しさん** · 2015/02/08(日) 20:51:02.21

Smalltalkはメッセージングみたいなルールが
全体で一貫してるから理解しやすいと思うけど
なぜかキラーアプリがないよな

代表的なキラーアプリがあれば
もっと広まってたと思うんだけど

**デフォルトの名無しさん** · 2015/02/08(日) 21:49:39.42

それは「計算機の言語を狭い意味でとらえる人」がいかにも言いそうな Smalltalk評かと
http://web.archive.org/web/20041016084842/http://marimpod.homeip.net/chomswiki/24#

**デフォルトの名無しさん** · 2015/02/08(日) 21:57:44.05

てなことをいうと反感かってアンチが増えるわけか…　失敬、失敬^^;

たしかに Ruby におけるとっついやすい Rails みたいなキラーアプリがあるといいのかも。

**デフォルトの名無しさん** · 2015/02/08(日) 22:19:38.46

そういえば単なる言語ではないんだったな
言ってることのカッコ良さに当時はしびれた（死語）ものだけど
まあ先を読むのって難しいってことで

**デフォルトの名無しさん** · 2015/02/09(月) 04:53:09.54

利用者が全体を俯瞰して
際限なくカスタマイズできるのは
良いコンセプトだと思う

でもイメージが肥大化してきたときに
収拾をどうつけるのか

クラスを足すのはかんたんでも削るのは難しい
使い始めちゃうと依存関係ができるから
それとガベージコレクションをすりぬけた
メモリのゴミがたまっていきそうなもんだけど

毎日手を入れ続けてる
秘伝のタレ状態でいいのか

それともOSの再インストや
新OSへの乗り換えみたいに
ファイルでバックアップとっといて
定期的にリセットするのか

長く使ってる人はソース管理どうやってんの？

**デフォルトの名無しさん** · 2015/02/09(月) 05:47:32.02

>>201
20年ぐらい昔のSmalltalkの話をしていないか？

**デフォルトの名無しさん** · 2015/02/09(月) 06:01:28.91

>>202
いや使い方調べてて気になったんだけど
ネットの記事は1年前でも20年前でも
同じように並んで表示されてるし
問題ある場合のほうが記事多いから

じゃ今はもうそういう問題
起こらないように進化してるんだ？

**デフォルトの名無しさん** · 2015/02/09(月) 06:09:40.75

PharoやSqueakならコードはmonticelloで管理するのが普通だし、
filetreeでgitでコード管理する人もいるしで、
イメージの中でこねくり回し続ける人はそう多くないと思うよ。

自分もイメージなんて1週間も経たないうちに捨てる。
新しいイメージに必要なパッケージ群を一通り入れるのは
metacello使えば1行のコードで各パッケージをそれぞれの
レポジトリから最新版をダウンロードしてきて初期化まで
自動的にやってくれる。

**デフォルトの名無しさん** · 2015/02/09(月) 06:38:17.09

>>204
サンクスなるほど
今はそうやって管理するのか

**デフォルトの名無しさん** · 2015/02/09(月) 08:33:43.52

つまりSmalltalkerが他言語との差異のひとつとして挙げる事が多い
イメージ方式は問題だらけのオワコンで
結局は普通の言語と同じ方式に落ち着いたわけだ

**デフォルトの名無しさん** · 2015/02/09(月) 09:08:37.00

>>206
そう。だからキミは Smalltalk のことなんか気にせず
先進の他言語ライフをエンジョイしてください。おしあわせに。

**デフォルトの名無しさん** · 2015/02/09(月) 09:35:59.91

ただ口が悪いだけで悪意は無かったという可能性もあるから
念のためマジレスしておくと（でもなきゃ煽って情報を得ようとする方略を助長するようで残念なんだけど）
イメージベースのメリットはソース管理だけじゃなくて
たとえば再現困難なデバッグの状態を保存できるとか
（いうまでもなく保存できるかは状況にもよるけど、同等機能をいっさい欠いているよりはマシというレベルで）
オブジェクトメモリ内のオブジェクトの状態保持が主なので
ソース管理の方法が他言語に倣ったからっていちがいにオワコンということはないと思う。

**デフォルトの名無しさん** · 2015/02/09(月) 17:36:40.61

>>206
外部ストレージにパッケージを保存できることとイメージベースは全く矛盾しないどころか
むしろ長所を伸ばしあう関係にあるわけだけど、まあ君には関係ない話だね。さよなら。

**デフォルトの名無しさん** · 2015/02/10(火) 07:31:44.72

これからはスマホの時代だけど
Smalltalkでスマホ開発ってどしたらいいの？
やっぱWebアプリにするのかな

**デフォルトの名無しさん** · 2015/02/10(火) 09:28:09.28

>>183
VisualWorksならexe作れるよ

**デフォルトの名無しさん** · 2015/02/10(火) 09:34:05.05

>>210
>>115

**デフォルトの名無しさん** · 2015/02/10(火) 10:17:11.93

>>210
Pyonkee とか Dr. Geo とか調べてみそ。

**デフォルトの名無しさん** · 2015/02/10(火) 10:37:51.08

Smalltalkの最大の欠点はOSの上にOSモドキを乗っけるナンセンスさと
マイナーな独自UIを強制するところにあるから、

一からスマホOSをSmalltalkで作って
UIをiPhoneに似せれば天下取れるかもよ

**デフォルトの名無しさん** · 2015/02/10(火) 13:36:11.97

まだいたのか、キミ…　^^;
ナンセンスということなら、キミがここにいること自体がナンセンスだよ。

とりあえず、これ↓を１０ぺんくらい読んでみることをお薦めすることしか今はできない。

「Smalltalkの底を流れる設計思想」
http://web.archive.org/web/20041016084842/http://marimpod.homeip.net/chomswiki/24#

**デフォルトの名無しさん** · 2015/02/10(火) 17:42:43.44

>>214
UIが気になるんなら、下みたいに簡単にOSの関数呼べるんだから関数のUI使えばいいじゃん。

俺はGNU Smalltalkを使うときAndroidのUI使ってるぞ。

Object subclass: #Bridge.

DLD addLibrary: 'libc'.

! Bridge class methodsFor: 'cross language' !
abs: anInteger

　<
　　cCall: 'abs'
　　returning: #int
　　args: #( #int )
　>.
!!

Bridge abs: 0.

**デフォルトの名無しさん** · 2015/02/10(火) 18:42:43.24

>>212-213
あんがと
しかし情報すくなすぎる

**デフォルトの名無しさん** · 2015/02/10(火) 20:05:21.93

>>215
「Smalltalkの底が知れた設計思想」だね。10回読んでみるわ

**デフォルトの名無しさん** · 2015/02/10(火) 20:38:10.59

誰うまｗ

**デフォルトの名無しさん** · 2015/02/11(水) 02:48:11.00

クラスライブラリの実装見ると
たいてい使える機能から予想するよりも
短い記述になってる印象なんだけど
なんで？

文法が簡潔で記述量が少なく書けるから？
書き手がOOマスターしてるから？

それとも継承しまくってるから
（継承を追って見るくらいはしてる）
総量は多くても個々が少なく感じるだけ？

じつはシステムブラウザから見えない部分
（インライン）で下処理を済ましてるから？

**デフォルトの名無しさん** · 2015/02/11(水) 06:47:42.77

>>220
本当に実装量程度の機能かもしれないし、
からくりがある場合もある。
具体的には、どのクラス？（できれば処理系も）

**デフォルトの名無しさん** · 2015/02/11(水) 09:08:37.73

>>217
基本的にGNU SmalltalkにAndroid用の追加Packageがちょこっと乗ってるだけ。
GNU Smalltalkの部分はLinuxやWindows上と使い勝手は変わんないよ。

因みにGNU Smalltalkは方言が激しすぎると思うかもしれないけど、
他の環境と同じような書き方もできるよ。

"Smalltalk User Exampleといい名前空間を作る。"
Smalltalk addSubspace: #User.
Smalltalk User addSubspace: #Example.

"Smalltalk User Example に移動する"
! Namespace current: Smalltalk User Example !

Object
　subclass: #Someoen
　instanceVariableNames: 'name'
　classVariableNames: ''
　poolDirectory: ''.

"ClassのInstance変数の登録(省略可)"
Someone class instanceVariableNames: ''.

"name変数の読み書き用Method登録。defaultは初期値"
Someone
　createSetMethod: 'name';
　createGetMethod: 'name' default: ''.

**デフォルトの名無しさん** · 2015/02/11(水) 09:09:08.40

"Instance用のMethod登録"
! Someone methodsFor: 'example' !
something

^ '何か処理を書く'.
!!

"Class用のMethod登録"
! Someone
class methodsFor: 'instance creation' !
withName: aString

^ self
　basicNew
　　name: aString.
!!

"現在の名前空間を変更して保存すると、名前空間が変更しっぱなしになるので戻す。"
! Namespace current: Smalltalk !

"
Imageに保存。引数を指定しなければ/mnt/sdcard/ls4a/gst.imに保存される。
元のgst.imはどこかに保存しとくこと。
"
ObjectMemory snapshot.

**デフォルトの名無しさん** · 2015/02/11(水) 09:36:26.45

GNU Smalltalkの注意点

1. 親の名前空間が持っている名前空間を子の名前空間は作れない

ダメな例
　Smalltalk Test Something Test.

大丈夫な例
　Smalltalk SomethingA Test.
　Smalltalk SomethingB Test.

代わりに子の名前空間から親の名前空間を参照するとき
参照する親より上の名前空間を省略できる。

Smalltalk Test Something ExampleAという構成の時ExampleAから
TestのClassをExampleBを参照するとき
下記のいづれでも参照できる。

ExampleB
Test ExampleB
Smalltalk Test ExampleB

2. 大文字で始める変数、または大域は宣言してないとnilになる。
つづりを間違えた時に結構ハマる。
Method内で書いた小文字の変数は宣言が無いと翻訳失敗になる。
また、名前空間をSmalltalk.Something.と「.」で区切れば、
親の名前空間が存在しない時翻訳失敗にしてくれる。
ただし、最後の名前空間名やClass名まで存在するか見てくれない。

**デフォルトの名無しさん** · 2015/02/11(水) 09:53:20.80

3. 例外を捕まえるClassの種類ににExceptionから派生した
　Class以外を指定すると訳の分からない例外になる。

[
]
　on: NotFound "NotFoundが存在しない場合nilになっており例外処理が暴走する。"
　do:
　[ :exception |
　].

4. nilを継承できる。nilを継承するとMessageに
　存在しないMethodを指定されてもErrorにしない。

"SuperSomethingは実はnilだが継承できてしまう。"
SuperSomething subclass: #Something.

"helloは無視される。"
Something new hello.

ただし、nilを継承すればあらゆるMessageを
doesNotUnderstaedで受け取ることができるいう利点もある。
Objectを継承しているとObjectが実装しているMessageは受け取れない。

**デフォルトの名無しさん** · 2015/02/11(水) 10:04:46.87

sl4aでGNU Smalltalkを使う時のヒント。
GUI は下記のような感じで作ることができる。

PackageLoader fileInPackage: 'Android'.

| os event |
os := Android.

"UI表示"
os fullShow:
'<?xml
version = "1.0"
encoding = "utf-8"
?>
<LinearLayout
xmlns:os = "http://schemas.android.com/apk/res/android";
os:layout_width = "match_parent"
os:layout_height = "match_parent"
os:orientation = "vertical"
>
<EditText
os:layout_width = "match_parent"
os:layout_height = "wrap_content"
/>
</LinearLayout>
'

"Event待ち"
event := os eventWait.

**デフォルトの名無しさん** · 2015/02/11(水) 19:11:13.96

>>221
処理系はSqueak
クラスは「Kernel-」系のクラス

こんなコアな部分でもこれだけで済むの？
ってのが素朴な疑問だった

（とくに昔の）C++とかのソースだと
1ファイルに何千行もドバッと書かれてるから
小分けで錯覚してるだけかもしれないけど

自力で分かったのは
Kernel-Objects BooleanのifTrueが
インライン展開されてるから書かれてないってこと

**デフォルトの名無しさん** · 2015/02/11(水) 20:49:58.18

>>227
> Kernel-Objects BooleanのifTrueが
> インライン展開されてるから書かれてない

もし Boolean >> ifTrue: のことなら、処理が書かれていないのではなくて、
self subclassResponsibility 、つまりサブクラスでオーバーライドせよというコードで指示がされているだけで、
実際にそれに従い、True >> ifTrue: 、False >> ifTrue: の方に（普段はインライン展開されてしまうので
無視されますが、明示的にコールしてやりさえすれば）動くコードが書かれています。

たとえば True >> ifTrue: メソッドは、こんな風に明示的にコールできます。
true perform: #ifTrue: with: [3] "=> 3 "
True >> #ifTrue: valueWithReceiver: true arguments: {[4]} "=> 4 "

他のインラインされるメソッド群は MessageNode class >> initialize で確認できますが、
（Kernel-Objects MessageNode の class 側に切り替えてでてくる initialize メソッド定義内）
whileTrue: を除いては、前述の ifTrue: 同様、明示的にコールしても
動くコードで書かれているので短い記述になっていることにはあまり寄与していないように思います。

そういう意味では Float >> + のように <primitive: 41> などといった記述があるメソッドは
実処理が仮想マシンやプラグインにあるので、具体的なソースは書かれていないことになります。
これはちょっとコード量の削減に寄与しているかもしれません。

余談ですが、<primitive: 41> などの後に書かれているのは、仮想マシンなどに記述された関数のコールが
失敗した場合に実行されるフォールバックコードで、これは Smalltak で記述されています。

個人的には Smalltalk のコードが短く感じるのは、出来ることの印象に反して
実質的にはコード量なりの機能しか実装されていないからだと思います。
C++ などで書かれたものと厳密に（たとえば数理学的に）同等の機能を記述しようと思ったら
それなりのコード量になるのではないでしょうか。

**デフォルトの名無しさん** · 2015/02/11(水) 22:16:32.83

>>228
うわー詳しい！
触ったばかりとはいえ雑な理解で恥ずかしいです^^;

＞実質的にはコード量なりの機能しか実装されていない
パッと見で気づかれないていどに
うまく手を抜いてるってことですかね

たしかにC++みたいな巨大な仕様の言語と
細部の挙動が違うのは想像できます

もしそれが気に入らなければ
Smalltalkは仕様自体をカスタマイズできるんだし
YAGNI的にも開発リソース的にも
それが現実解の気がします

なぜそこが気になったかというと
少ないコード量で実現してるというのは
設計の参考になるからです

**デフォルトの名無しさん** · 2015/02/11(水) 22:52:16.50

正直、どうしてこんないい加減なものが動くのか、私もかねてから不思議に思っています。^^;
まあそこが興味の対象であり、数理学的に論じると味わいのなくなる面白いところでもあるわけですが。
手抜きのことも含めて、もちろん他にも短く書くための工夫らしきことはあるので
もう少し、システムの中身を覗いてみてください。

設計の参考ということでは、しばらくいじってみて興味をひかれた機能を
その動作から実装を予想し、実際にそう実装されているか確認してみると
「その手があったか！」というような発見もあって楽しみながら学べると思います。
（あるいは時間の無駄で終わるかもしれませんが…）

個人的によくお薦めするところでは、print it（式を選択して右クリックメニューなどから
print it すると返値が挿入される機構）がどのように実装されているか、コンパイラの
実装やその動作などと併せて予想・確認してみるのは比較的よい題材かと思います。

**デフォルトの名無しさん** · 2015/02/11(水) 23:29:09.42

>>230
＞どうしてこんないい加減なものが動くのか
不思議ですよねー
古くからあるから職人芸なのかな

記述が短いから拡張や改造が楽で
助かる面はあります

＞実装やその動作などと併せて
＞予想・確認してみるのは比較的よい題材
それは良さそうですね
じっくり取り組んでみます

**デフォルトの名無しさん** · 2015/02/12(木) 00:10:33.54

>>228

value := 1 < 2 ifTrue: 3 asValue ifFalse: 4 asValue.

こんな場合もInline展開されないでしょ。
VisualWorksだと最適化しないって警告がでる。

**デフォルトの名無しさん** · 2015/02/12(木) 01:13:27.37

>>222-226
> 基本的にGNU SmalltalkにAndroid用の追加Packageがちょこっと乗ってるだけ。
> GNU Smalltalkの部分はLinuxやWindows上と使い勝手は変わんないよ。
それならSmalltalk使う意味あるね
ほかの処理系でももっと出てきて欲しい

WindowsPC全盛期はマルチプラットフォームに
あんま魅力感じなかったけど
今みたいにPCもスマホもでOS乱立してると
同じように書けることって大きいと思う

PCはC++かC#で
WebアプリはPerlとかPHPで
AndroidはJavaで
iPhoneはObjective-Cでとか
覚えることがあまりにも多すぎる

PCもWebもスマホも
同じ言語で書けたら楽だなと思う
まあその本命は一昔前ならJavaだったし
今ならJavaScriptなんだろうけど

**デフォルトの名無しさん** · 2015/02/12(木) 05:57:58.02

>>231 長い時間をかけたリファクタリングの結果です。

**デフォルトの名無しさん** · 2015/02/12(木) 09:00:56.49

>>232 あ、ほんとだ。ブロックリテラルで書かないと、インライン展開されないんですね。…とのことです。>>229

true ifTrue: [3] ifFalse: [4]. thisContext method symbolic "=> '33 <71> pushConstant: true
34 <99> jumpFalse: 37
35 <21> pushConstant: 3
36 <90> jumpTo: 38
37 <20> pushConstant: 4
38 <87> pop
39 <89> pushThisContext:
40 <D3> send: method
41 <D2> send: symbolic
42 <7C> returnTop' "

true ifTrue: 3 ifFalse: 4. thisContext method symbolic "=> '33 <71> pushConstant: true
34 <21> pushConstant: 3
35 <22> pushConstant: 4
36 <F0> send: ifTrue:ifFalse:
37 <87> pop
38 <89> pushThisContext:
39 <D4> send: method
40 <D3> send: symbolic
41 <7C> returnTop' "

| block | block := [3]. true ifTrue: block. thisContext method symbolic
"=> '<略> 36 <71> pushConstant: true
37 <10> pushTemp: 0
38 <E1> send: ifTrue:
39 <87> pop
40 <89> pushThisContext:
41 <D3> send: method
42 <D2> send: symbolic
43 <7C> returnTop' "

**デフォルトの名無しさん** · 2015/02/12(木) 09:26:20.70

>>232
調べてみました。なるほど。
引数がブロックかどうかをチェックしてインライン化を判断しているのですね。
（以下は Squeak の場合ですが、VisualWorks でも似たようなことをしていました。）

MessageNode >> transformIfTrue: encoder
　(self transformBoolean: encoder)
　　ifTrue:
　　　[arguments :=
　　　　Array
　　　　　with: ((arguments at: 1) noteOptimizedIn: self)
　　　　　with: ((BlockNode withJust: NodeNil) noteOptimizedIn: self).
　　　^true]
　　ifFalse:
　　　[^false]

MessageNode >> transformBoolean: encoder
　^self
　　checkBlock: (arguments at: 1)
　　as: 'argument'
　　from: encoder

**デフォルトの名無しさん** · 2015/02/12(木) 15:47:56.01

>>235
自作ClassのObjectに対してはMessage送信省略しないお陰で、
数値計算に自作ClassのObjectをツッコむことができるんだよね。
以下はGNU Smalltalkの例。

nil
subclass: #NumberDelegator
instanceVariableNames: 'delegate'
classVariableNames: ''
poolDictionaries: ''
category: 'Example'.
! NumberDelegator methodsFor: 'accessing' !
delegate: aNumber
delegate := aNumber
!
generality
"primitive扱いされると例外を吐くことになるので、primitive扱いできないようにする。"
^ 0.
!!
! NumberDelegator methodsFor: 'forwarding' !
doesNotUnderstand: aMessage
^ aMessage sendTo: delegate.
!!
! NumberDelegator class methodsFor: 'instance creation' !
forwardTo: aNumber
^ self basicNew delegate: aNumber.
!!
| result |
result := 1 + ( NumberDelegator forwardTo: 10 ).

**デフォルトの名無しさん** · 2015/02/12(木) 17:47:15.72

>>237
言いたいことがよく分かりません。
それはコンパイル時の ifTrue: 、whileTrue: などのインライン展開とどういう関係があるのでしょうか？

そもそも 1 + 10 と 1 + MyClass new とではコンパイル結果は変わらないですよね？
そのコードも SmallInteger >> + のプリミティブが失敗して普通にフォールバックしているだけだと思うんですが…

**デフォルトの名無しさん** · 2015/02/13(金) 03:23:10.58

>>234
Smalltalkならではの伝統ですね
新しい言語だと何十年もリファクタリングした
コードを見る機会はないし

>>235-236
＞引数がブロックかどうかをチェックして
＞インライン化を判断している

インライン化とそうでない処理に分けることについて
なぜそうするか、思いついたメリットとしては

インライン化のほうが早いだろうけど
もしインライン化しかないと
ifTrue系の命令を自分で改造するのが大変だからかな

**デフォルトの名無しさん** · 2015/02/14(土) 06:34:15.77

IDEが使いやすいので
C++やJavaでも
こういうIDEないかな？

**デフォルトの名無しさん** · 2015/02/14(土) 09:31:23.95

他言語でも同様のものを作れなくはないと思うのですが
Smalltalk環境の機能自体があまり多くの人に知られていないのと
他言語では同様のものを（Smalltalkほどには）簡単には
作りにくいのかもしれませんね。

Clojure 向けですが、最近ではこんなIDEが話題になっていました。
http://cloxp.github.io/cloxp-intro.html

**デフォルトの名無しさん** · 2015/02/14(土) 09:46:15.37

>>240
ちょっと昔の研究プロトタイプでは、こういうものもある。http://www.andrewbragdon.com/codebubbles_site.asp

**デフォルトの名無しさん** · 2015/02/14(土) 10:10:59.12

補完とか名前変更とかSmalltalkのIDEはウンコすぎるじゃん
本当に開発してると一番差が出るところなのに
本当にJavaやC++のIDE使った事あんのかよ

**デフォルトの名無しさん** · 2015/02/14(土) 10:34:04.63

(…補完も名前変更も一発なのにこの人は一体何を言っているのだろう…)

**デフォルトの名無しさん** · 2015/02/14(土) 10:34:59.29

(…そもそもこの人が言うSmalltalkのIDEとは何を指しているのだろう…)

**デフォルトの名無しさん** · 2015/02/14(土) 10:38:06.59

無関係な候補が補完されたり、無関係な名前まで変更されてしまうゴミじゃん

**デフォルトの名無しさん** · 2015/02/14(土) 10:54:34.66

粘着アンチ君、まだいたのか。
他言語で幸せになれなかったのかな…。かわいそうに。

**デフォルトの名無しさん** · 2015/02/14(土) 11:01:59.33

>>244
この人は補完の精度のことを言っているんですよ。
動的型言語である以上、どうやったって精度はだせない。
よって、補完がないとコード書けないユーザーにはウンコで使えない、と。

**デフォルトの名無しさん** · 2015/02/14(土) 11:34:10.14

>>241
> 他言語では同様のものを（Smalltalkほどには）簡単には作りにくい
Smalltalkは最初からGUIのことまで考えて言語が設計されてるからかな

>>242
まだ一般人が使えるようにはなってないのかな

>>245
ちなみにおれが言ってるほうのIDEはSqueakね

**デフォルトの名無しさん** · 2015/02/14(土) 12:11:34.81

まあ静的型付けほどの精度はないし
多機能さとか総合力でスコアつけたら
VSとかメジャーなIDEのほうが上だろうよ

でも主観的な使い心地はすごい良く感じる
純粋OOPLとか動的とかイメージベースとか
いろんな仕様がかみ合ってるから使いやすい

逆にVSっつーかC++は
かみ合ってないから疲れる

そもそもIDEよりエディタで気軽に書くほうが
好きだったりするんだけど
Smalltalkに関してはIDEじゃないと魅力半減

**デフォルトの名無しさん** · 2015/02/14(土) 12:46:41.71

>>249
> Smalltalkは最初からGUIのことまで考えて言語が設計されてるからか

たしかに GUI の扱いやすいさもひとつにありそうですが、個人的にはそれに加えて
Smalltalk（というかアラン・ケイが）重要視して、他言語では良くない余計なものとされる
オブジェクトの全能性（というと語弊があるので「訊けば答えてくれる感」？）も重要だと思っています。

たとえば、ブラウザ機能を実現するのに必要なクラスに定義されたメソッドの一覧や
メソッドのソースは、それぞれクラスやメソッド自身に尋ねればこんなふうにして
簡単に得られます。（後者は Squeak の場合）

Integer selectors
(Integer >> #factorial) getSource

リフレクションの API が充実しているだけと言われればそれまでですが、
（先だってのコードの短さともからめて）そういう切り口ではない、環境内のオブジェクト間の連携を
しやすくする工夫の結果としての IDE の使い勝手であるような気がします。

**デフォルトの名無しさん** · 2015/02/14(土) 15:51:07.10

「無関係」の定義もなく「変更されてしまうじゃん」とか断言する人って、技術的な議論には全く向かないよね。

**デフォルトの名無しさん** · 2015/02/14(土) 17:50:52.21

彼はSmalltalkをコケにすることができれば満足で
そういう次元の議論は１ミリも望んでいないでしょう。

それはさておき本気を出せばSmalltalkでも
補完くらいなら、そこそこの精度は出せるでしょうね。

**デフォルトの名無しさん** · 2015/02/14(土) 19:17:17.93

明日から本気出すw

**デフォルトの名無しさん** · 2015/02/14(土) 19:18:06.07

Smalltalkを覚えたいのだが本業のドカタ仕事に忙殺されてなかなか出来ぬ。
人生は短すぎる。

で、Smalltalkerさん達の本業は何よ?

**デフォルトの名無しさん** · 2015/02/14(土) 19:27:03.92

SqueakのCトランスレータが結構使える

**デフォルトの名無しさん** · 2015/02/14(土) 20:45:36.71

>>253
ID:KJLqYxlY の心の平安のために精度は今のままの方がよさそう。ｗ

**デフォルトの名無しさん** · 2015/02/14(土) 20:58:37.42

>>255
C with Smalltalk

**デフォルトの名無しさん** · 2015/02/14(土) 21:01:50.07

>>255
受託開発サラリーマン

**デフォルトの名無しさん** · 2015/02/14(土) 21:20:15.48

>>251
> オブジェクトの全能性
たしかにC++のクラスが抽象データ型の延長なのに対して
Smalltalkではより能動性とか主体性を持たせようとしてますね

C++だとメモリ管理とかとあわせてクラスの管理をいろいろ
プログラマが抱え込まないといけないからストレスになる

Smalltalkはブラウザ関係もふくめて
メッセージングに任せられる部分が多いので
ストレスが軽減されていると感じます

C++（とVS）は多機能で高性能なんだけど
それだけプログラマの負担も大きくて
Smalltalkはそれよりさらに高性能というよりかは
使用者が使いやすい方向を目指してる感じ

**デフォルトの名無しさん** · 2015/02/15(日) 08:22:59.86

>>259
土方のお仲間じゃないですか。
Smalltalkの受託やってるの?

**デフォルトの名無しさん** · 2015/02/15(日) 13:19:29.87

>>255
ビル管理業

**デフォルトの名無しさん** · 2015/02/15(日) 15:56:50.97

>>255
マイケルジャクソンの物真似

**デフォルトの名無しさん** · 2015/02/16(月) 01:03:07.94

>>238
GNU Smalltalkだと定数の演算とかは糞真面目に計算せずに、
翻訳時にすませてるっぽいよ。
この辺も最適化の過程でMessage送信が必要かどうか判断してるんじゃない？

>>239
原則Message送信であってif文の構文糖じゃないからね。
最適化はあくまでもオマケ。
最適化し辛い構文があってもMessage送信の原則は守る必要があるんでしょ。

**デフォルトの名無しさん** · 2015/02/16(月) 01:10:51.90

>>251
Squeak以外は使わないの？
VisualWorksとかPharoとかは、補完するSelectorを結構絞り込んでくれるから便利よ。
VisualWorksはCincom本社の海外サイトで個人情報入れなきゃなんないのが面倒だけど。

**デフォルトの名無しさん** · 2015/02/16(月) 03:14:31.37

マイケル・ジャクソンの著書
http://www.kyoritsu-pub.co.jp/bookdetail/9784320025004

その息子の著書
http://shop.ohmsha.co.jp/shop/shopbrand.html?search=978-4-274-06858-4

**デフォルトの名無しさん** · 2015/02/16(月) 11:16:01.67

>>264
> GNU Smalltalkだと定数の演算とかは糞真面目に計算せずに、
> 翻訳時にすませてるっぽいよ。

それは分かりましたが、それを踏まえてもなお

>> 237
> 自作ClassのObjectに対してはMessage送信省略しないお陰で、
> 数値計算に自作ClassのObjectをツッコむことができるんだよね。

が出てきた理由がまだよくわかりません。

なぜあえてこの例が必要だったのか（Squeak の話をしているときになぜあえて GNU Smalltalk か？
非リテラルオブジェクトではなくなぜあえて自作クラスなのか？　さらになぜあえて nil を継承したのか？）、
それぞれによって、どんな理解が進むのかについて少々かみ砕いての解説をお願いできますか？

**デフォルトの名無しさん** · 2015/02/17(火) 13:36:20.64

64bit VMがlinux版しかないのはどういうわけ

**デフォルトの名無しさん** · 2015/02/17(火) 22:00:01.91

>>267

1. SqueakではなくGNU Smalltalkを例に出した理由
　Squeak限定じゃなくSmalltalk一般の話かと思いまして
　処理系について意識してませんでした。すみません。

2. 数値計算の最適化を上げた理由
　Message送信が最適化で省略されない場合の利点を
　説明するつもりで書きました。
　#ifTrue:ifFalse:で有用な例を示さなかったのは
　すぐ有用な用途が浮かばなかったからです。

3. なぜ既存のClassではなく自作Classを例に使ったか
　最適化が適用されない既存のClassが
　思いつかなかったからです。
　SqueakやPharo基準で考えれば、
　自作じゃなくてもCollection系で良かったですね。
　レスを書いた時は思いつきませんでした。

4. なぜnilを継承したか
　Objectを継承すると、ObjectがMethodを実装しているMessageを
　#doesNotUnderstand:で委譲できなくなるためです。
　SqueakではProtoObjectを使いますが、
　GNU SmalltalkやVisualWorksではnilを使います。

5. 何について理解が深まるか
　最適化はオマケなので、最適化されるMessageだからと言って
　必ず最適化される訳ではないし、
　最適化によって自作ClassのObjectを渡すと
　動かなかったりするわけではない
　という事が理解いただければと考えています。
　

**デフォルトの名無しさん** · 2015/02/17(火) 23:17:58.58

>>269
なるほど、よくわかりました。
丁寧な説明をありがとうございます。

1. の早合点はさておき、
はじめから 5. のような簡易な説明を添えていただけていたなら
私ども読み手も視野を広げやすくなるので、今後もご助言を
いただけるのでしたら、ご一考いただければさいわいです。

**デフォルトの名無しさん** · 2015/02/17(火) 23:46:16.16

Smalltalkの新しい書籍
出る予定ないのかな

**デフォルトの名無しさん** · 2015/02/17(火) 23:53:37.06

一般人が触れる実装がSqueakしかないしな…