types - 在变量绑定中使用有区别的联合类型

Question

我制作了一个自定义类型，并希望创建 2 个变量来证明我的类型按预期工作。

type number = A of int | B of float;;

let a = 0;;
let b = 0.0;; 

我应该如何更改变量声明以强制它们键入number？目前a是int，b是float。

Answer 1

要强制它们为 type number，您需要做的就是将它们分配给 type 的值number。你举的例子：

let a = 0
let b = 0.0

分别将它们分配给 typeint和的值float。要获取 type 的值，请从这些值number构造对象，如下所示：number

let a = A(0)
let b = B(0.0)

Answer 2

你去：

let a = A(0)
let b = B(0.0)