Concurrent Clean + OOP

http://mailman.science.ru.nl/pipermail/clean-list/1997/000180.html
1997年のMLのログ。OOPがテーマのよう。後で読みます。

      • -

ざっと読み飛ばしたところ、サブタイピングの話になっていた。
http://www.hyuki.com/d/200508.html#i20050819104841
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20050821
この辺の話題を思い出したので、クリップ。

      • -

要は、Cleanの持っている多相型の機能との兼ね合いの問題なんですね。
http://www.geocities.jp/lethevert/softwares/clean/oop02.html
ここの話題は、多相型とはどういう関係になるのだろうか?