-
- いいね！0
tomo🐧@learning
@cocoatomo
@pokarim OOP は集合論でしょう. 俺にはガロア理論みたいに見えてます. class A を class A のインスタンスの集合と同一視する. また methods(o) と書いて object o のメソッド全体の集合を表すとする. (続く)
2011-01-06 00:53:37
tomo🐧@learning
@cocoatomo
@pokarim んでもって, class B extends A は class A ⊃ class B と見れる. このとき a ∈ A, b ∈ B とすると methods(a) ⊂ methods(b) という関係があり, 包含関係がちょうど逆になる. (続く)
2011-01-06 00:55:53
tomo🐧@learning
@cocoatomo
@pokarim これを日本語で言うと, methods というのはあるオブジェクトに科されている制約条件と見れる. 制約条件が増えるほど範囲が狭くなるのは当然. ある集合とその集合を規定している制約条件の集合を対比すると包含関係がちょうと逆になる. という感じ.
2011-01-06 00:58:18
tomo🐧@learning
@cocoatomo
というか, オブジェクト指向は class という idea に対して, 現実世界に投影する (new だったり bless だったり) ことで実体化 (instanciate) しているので, アリストテレスの idea 論そのまんまじゃなイカ?
2011-01-06 01:01:12