[SML 7532] Re: オーバロードはポリモフィズムか?

[Sako Hiroshi]

酒匂です。

2009/5/2 AOKI Atsushi <atsushi ＠ cc.kyoto-su.ac.jp>:
> 先ほどの酒匂さんの言及に関して少々気になったことがありました。
>
> 仮想マシン（やガーベジコレクタ）を作成したことがある人ならば
> 通じると思いますが、Smalltalk プログラミングには、本来、代入
> がありません。間接参照の束縛だけでやっているんです。

確かに「代入」という言葉は誤解生むかもしれませんね。
ご指摘ありがとうございます。

もちろん私も「代入」という言葉で表したかったのは
「現在の文脈中で新しい名前（間接参照の束縛）を与える」という意味です。

anObject ←  anotherObject

という「代入式」は、単に anotherObject という「名札」が指している
実体に対して、新しく anObject という「名札」を更に貼付けているに
過ぎませんね。

-- 
Sako Hiroshi
http://d.hatena.ne.jp/ardbeg1958/