ocaml - OCaml 中的显式 var 类型

Question

如果我有一个类型 t

type t = C of string;;

并且想要显式定义变量的类型为类型 t:

让 b : t = C 'MyString';;

我可以在 OCaml 中完成吗？

Answer 1

你不需要明确

let b = C mystring
let b = C "a string litteral"

你可以是明确的，但它不会添加任何东西

let b : t = C foo

通常首选的方法是使用类型推断而不注释类型，并且仅通过关联的 .mli 接口(interface)文件明确导出到其他模块的标识符的类型。

在这种情况下，类型注释不会添加任何内容，因为 C 构造函数已经是一种标记/注释:C something 必须是 类型>t，没有可能的混淆。