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

AOKI Atsushi atsushi @ cc.kyoto-su.ac.jp
2009年 5月 2日 (土) 11:08:20 JST


sunao furukawa さんは書きました:
> しつこいですが、古川です。

ぜんぜんしつこくなんかないですよ。

> このようなものを読んでみるとマクロに見ればオーバーロードもポリモフィズム 
> を実現する方法になるとみなされる言語もあるのではと思いましたがどうでしょ 
> うか。

上手な言及だと思います。
区別化(distinction)と包摂化(subsumption)の双方が大切ですから。
双方を上手に操ることこそ、オブジェクト指向プログラミングの真骨頂。

--- 青木淳@京都宇治


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