値のOcaml表現 - Atoms

Question

いくつかのOCaml値の内部表現を見ました。空の配列の表現はatom(0)、すなわちtag=0とsize=0のブロックです。浮動小数点の空の配列はatom(0)でも表されます。

アトムで表されるOCaml値はtag > 0ですか？そうでない場合：OCamlバイトコードセットにはどのような目的のためにATOM n命令が含まれていますか？

Answer 1

引数を持つコンストラクタにはタグ> 0が使用され、アトムではありません。一方、引数のないコンストラクタはブロックではなくintとして格納されるため、アトムではありません。ですから、私はatom（0）が使われていないと思います。例外...

空のインラインレコードを持つコンストラクタはどうでしょうか？

# type t = A of int | B of { };; 
Error: Syntax error 

空のレコードは許可されていないようです。このようなブロックを直接作成する以外に、タグを使って0サイズのブロックを作成する別の方法は考えられません。しかし、それはATOM命令を使用しないでしょう。