オブジェクト指向の関連概念(?)

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

この考え（妄想）を押し進めたオブジェクト指向言語とか作ったら面白いかな。