例えば、 its color is 〜 という文があったら、「〜」には色が入らなきゃいけない。 i eat 〜 とあったら、「〜」には食べることができるものの名詞が来なくてはならない。このように、動詞が要求する目的語や補語の属性が、型の元型ではないだろうか。 そ…

インスタンス変数とメソッドによってクラスを定義するという手法は、代数学での環や体などの定義で慣れていたので、俺は違和感を覚えなかった。 そして、クラスとそのインスタンス化も、プラトンのイデア論という比喩ですんなり理解できた。クラス=イデア、…