何时在OCaml中创建物理上不同的值？

Question

我试图了解OCaml中物理相等运算符(Pervasives.(==)和Pervasives.(!=))的含义.

语言手册说表达式""是"常量",而不是"表达式":

6.5常数

constant :: == ... string-literal

但是我找不到任何表明常量是单独/预先评估或合并的,并且REPL表明可变字符串值(谢天谢地)没有合并.

(* a *)  ""          == "";;             (* false *)
(* b *)  "foo"       == "foo";;          (* false *)
(* c *)  ""          == String.copy "";; (* false *)
(* d *)  ()          == ();;             (* true  *)
(* e *)  (42, -42)   == (42, -42);;      (* false *)
(* f *)  ("", 1)     == ("", 1);;        (* false *)
(* g *)  None        == None;;           (* true  *)
(* h *)  (Some None) == (Some None);;    (* false *)

" 19.3 OCaml数据类型的表示 "一节表明,语言规范要求bool,int,chars,单位值,简单变体和空列表都是无私的.

实现是否必须像上面那样成为一个符合要求的OCaml实现？

一个符合条件的OCaml实现可以重写指针,b指向a何时a = b (* structurally *)为true,并且两者都是不可变类型的值(或有效的不可变值,如零长度字符串/数组),有时这样做是为了减少一代中可达到的年轻值的数量GC？

Answer 1

当我阅读语言规范时,很少有关于何时值不同的保证.我相信唯一的保证是在Pervasives模块的文档中:

在可变类型(如引用,数组,字符串,具有可变字段的记录和具有可变实例变量的对象)上,当且仅当e1的物理修改也影响e2时,e1 == e2才为真.在非可变类型上,(==)的行为是依赖于实现的; 但是,保证e1 == e2意味着比较e1 e2 = 0.

关于FP的一个很酷的事情是编译器和运行时可以使用不可变值自由地做任意聪明的事情.所以这个保证就是你真正想拥有的(恕我直言).

总之,是的,运行时或编译器是免费的(再次,恕我直言)以任何它认为有用的方式共享(而不是共享)不可变值.

我不会将表示部分解释为语言规范的一部分.它只是当前实现的有用文档.