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

AOKI Atsushi atsushi @ cc.kyoto-su.ac.jp
2009年 5月 2日 (土) 21:32:57 JST


Hidetaka MASUDA さんは書きました:
> さっそく4ページ目に 1.3 Kinds of Polymorphism という節があります。

その節だけをザックリと読んでみました。古に読んだ記憶が甦りました。

> 私が考えていたポリモフィズムは universal polymorphism (inclusion)で、
> オーバロードは ad hoc polymorphism となるんですね。

昔からなんですが、Peter Wegner さん一派のは、私はピンと来ぬなぁ〜。:-)

--- 青木淳@京都宇治



SML メーリングリストの案内