我查看了一些OCaml值的内部表示。空数组的表示是一个
是否有任何OCaml值由
atom(0)
,即一个标记为tag=0
和size=0
的块。浮点数的空数组也被表示为一个atom(0)
。是否有任何OCaml值由
tag > 0
的原子表示?如果没有:OCaml bytecode集合中包含ATOM n
指令的目的是什么?
make world
生成的所有字节码文件,并未发现任何ATOM n
指令或PUSHATOM n
。只有大量的ATOM0
... - pifu