なぜOCamlはレコードのサブタイプをサポートしていませんか？

Question

"タイプとプログラミング言語"を読んで、私はクロージャーとレコードのサブタイプ化（第18章）を使ってオブジェクトの実装に感銘を受けました。 OCamlがレコードのサブタイプをサポートしていないという特別な理由はありますか（私はオブジェクトは分かりますが）。実際、私はこれをサポートする言語を見つけることができません。

Answer 1

技術的には、OCamlのオブジェクトは実際には通常の意味でのサブタイプ化をサポートしていませんが、行多型です。サブタイプよりも行の多形性には多くの利点があります。特に、それはより表現力があり、型推論ではるかに優れています（サブタイプと型推論はまったく混ざりません）。

構造的サブタイプまたは行多型をすべてのレコードに使用する際の主な問題は、ランタイムの実装が大幅に増え、結果的に高価になるということです。フィールドのアクセスが単なる索引付けである単純なレコードを単純なタプルに変換することができる場合、構造的なサブタイプまたは行の多形性は、オブジェクトを透過的に「スライス」する能力を必要とする。一般に、これには、ハッシュ（Ocamlのオブジェクトなど）によるフィールドルックアップ、またはテクニックを渡す証拠があります。ここでは、関数またはその呼び出し先で使用されるすべてのフィールドのインデックスを、隠れ引数として渡す必要があります。実際のレコード（SML＃がやっていることなど）。

いずれにしても、Ocaml はの多型レコードを持っています。これらは多分オブジェクトと呼ばれます。しかし、もしあなたがそれを必要としないならば、あなたはそれらの周りのすべてのクラスの混乱を無視することができます。

Answer 2

タイピングの観点から、レコードのサブタイプ化は非常に危険です。

たとえば、a、b、cの3つのフィールドを持つレコードがあるとします。また、aとcの2つのフィールドだけでレコードを作成したいとします。コンパイラは、レコード全体の読み込みが終了するまで、あなたが使用しているタイプを知りません。最後には、間違えた場合には助けません。たとえば、bフィールドを忘れてしまいました。 私はこの観点が競争できると完全に同意しますが、私はこれがocamlを書く人の考え方だと思います。