types - 与文字的可区分联合

Question

对于位类型，F# 中的正确语法是什么，只有两个可能的值:0 和 1。我努力了;

type bit = 
         | 0
         | 1

错误信息是error FS0010: Unexpected integer literal in union case .我需要使用 [<Literal>] 吗？ ？

我收到了一条不同的错误消息:error FS0010: Unexpected integer literal in union case. Expected identifier, '(', '(*)' or other token.

Answer 1

如果您正在寻找 Bit 的类型安全表示，您可能更喜欢 DU 而不是枚举以进行详尽的模式匹配:

type Bit = Zero | One
with member x.Value =
     match x with
     | Zero -> 0
     | One -> 1

如果你想要一个紧凑的表示，boolean 类型是一个很好的选择:

let [<Literal>] Zero = false
let [<Literal>] One = true

let check = function
    | Zero -> "It's Zero"
    | One -> "It's One"

当存在Bit 的集合时，您可以查看BitArray。以获得更有效的治疗。他们确实使用 boolean 作为内部表示。