実はオブジェクト指向ってしっくりこないんです。 - 無料でプログラミングを教えます日記

まえがき 1. 広く認知されているオブジェクト指向の一般論は存在しない。 2. ここでいうオブジェクト指向は、オブジェクト指向 2.0である。これはオブジェクト指向の歴史や世間一般で言われるオブジェクト指向完全無視のオブジェクト指向である。 オブジェクト指向の歴史 そんなものは後で学べばいい。 objectってどういう意味？ 対象という意味である。 じゃあ対象ってなによっていう話だが、 関数 f: A -> B であれば、dom(f) である A が対象（圏論で言われる対象とは別）、つまり object の集合 Object なのである。 いうまでもなく、A は 直積集合 であっても構わないし もっというなら集合である必要もない。 抽象データ型ってなに？ 抽象データ型とは dom(f) が Object の関数型の直和である。 Haskellであれば型クラスで表現できる。 たとえば Sta

[r-west]

ｽｳｶﾞｸ的事実とフツーの人間の脳の問題認知の折衷がOO、とか。shiroさんが言ってた置き場が決まってるっての、人の認知には大事なのかも

[terazzo]

関数の選択の範囲が固定されている方が分かりやすい気がするけどそれは主観か＞モジュールシステムと抽象データ型を一緒くたにしたもの／機能を制限することが秩序や分かりやすさを作り出せないなら不毛だとは思う。