>>59
お、ようやくコアな話題、かな。

ＯＯとかデザパタっつうのも、形を変えた(一般向けの)型システムに関する議論なわけで、
漏れはOO専門家ぁ？みたいなのに身をやつして、そのあたりを(暇な時に)追っかけてますがｗ
　(構成型の要素の型をパラメータとした)実装継承＝パラメトリック多態性
　(Javaインターフェースの実装のような)型継承　＝総称多態性
ってなマッピングするだけだけどｗ

最近はＯＯがほぼ定着し(OOPが定着しただけだという話もちらほら)、
かつては関数型言語の話題だった総称型を扱う型システムも、ＯＯのボキャブラリで語れるようになって、
なかなか便利な状況になって参りますたね。

最後の行、「全ては式である」つうのは、何の話でしょうか？
全てのオブジェクトは、関数型言語の部分計算キャッシュに過ぎないＩという信念を持って
ＯＯしてる漏れには、なんか気になるフレーズですた。