09/09/10 17:00:30
>>218
いわゆる“オブジェクト指向”には、抽象データ型をベースにしたもの（SIMULA67→C++発）と、
メッセージングをパラダイムにしたもの（Smalltalk発）、あと最近はオブジェクトベースの考え方（SELF発）がある。
重なる部分もあるが、原則として別物と考えた方が整理が付けやすい。
それぞれのＯＯをサポートする言語としての最低限の要件は、
・抽象データ型ＯＯ → 抽象データ型、つまりユーザー定義型を使えること。静的型チェックが前提。
・メッセージングＯＯ → （メッセージングと見なせる）動的結合を扱えること。分散・並列が理想だが、そこまでは求めない。
・オブジェクトベースＯＯ → オブジェクトレベル（つまりクラスに依存せず）なんらかの委譲機構が用意されていること。
それぞれのＯＯにおいて“ピュア”な言語の例としては、
・抽象データ型ＯＯ → プリミティブ型を持たない言語（Scala など。静的型チェックの要件を外してよいなら多くの動的OOPLも）
・メッセージングＯＯ → 静的結合機構を持たない言語（Ruby など。代入・値参照まで徹底した言語は、SELF、Io くらい？）
・オブジェクトベースＯＯ → クラス、あるいは継承機構のない言語（JavaScript など。誤解されがちだが、動的性は要件ではない）