ocaml - 为什么我的字符串类型是 `bytes` ？

Question

根据 Real World OCaml，"abc" 的类型应该是 string .但实际上在我的 utop REPL，它的类型是 bytes .

我已经开通了Core.Std .为什么？

( OCaml 的版本是 4.02.2 ； Core 是 112.24.01 ； utop 是 1.18 。)

Answer 1

您必须明确启用安全字符串模式。只需从 utop 开始:

$ utop -safe-string

之前 the introduction of类型 bytes在 OCaml 4.02 中，字符串是可变的。现在，字符串旨在是不可变的，并且 bytes是用于“可变字符串”的类型。

为了不破坏太多现有代码，默认情况下尚未启用此区别。在默认模式下， bytes和 string是同义词。