在 F# 中，有没有办法为原始类型定义经过类型检查的别名？

Question

我想定义恰好由同一类型支持的类型（例如，FirstName 和 LastName，它们都是 strings），但我希望对它们进行类型检查，这样我就不能错误地混搭它们：

> type FirstName = string;;
type FirstName = string

> type LastName = string;;
type LastName = string

> let n : FirstName = "John";;
val n : FirstName = "John"

//I wish this were caught:
> let l : LastName = n;;
val l : LastName = "John"

有没有办法在 F# 中做到这一点，而不是定义记录类型或类似的东西？

Answer 1

您可以使用单例区分联合：

type FirstName =
    | FirstName of string

type LastName =
    | LastName of string

let n = FirstName "John"
let l: LastName = n // error

有关如何使用这些功能的更多信息，请参阅博文here。

Answer 2

我相信度量单位可以用于字符串，所以你应该能够做到这一点

[<Measure>]
type FirstName

[<Measure>]
type LastName

let n = "John"<Firstname>
let l:string<LastName> = n

这将引发错误。 Here is the MSDN Documentation of Units of Measure