使用相同的构造函数进行类型推断

Question

我正在编写一个小的 F# 程序。

type type_a= | T of int | S of string;;
let aa=T 30;;
type type_b= | T of int | S of string;;
let bb =T 40;;

上面，为什么编译器如何区分aa和bb的类型？ Visual Studio 的交互式控制台认为 bb 的类型为 type_b，aa 的类型为 type_a。

Answer 1

你们两个受歧视的工会都暴露了 T 和 S。 当调用 let aa=T 30 type_b 时未知，所以编译器从 type_a 推断 T。 在下一行定义了type_b，因此来自type_b 的T 和S 现在覆盖了来自type_a 的T 和S。对T 的所有后续调用都将推断为type_b。

您仍然可以在其余代码中从 type_a 引用 T 取消 let cc=type_a.T 50;;。