f# - F# 中的“和”关键字

Question

来自 https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/keyword-reference 的文档:

看起来“和”可以用在上面的四个类别中。通过记录和约束，我看到了用例。但是任何人都可以说明 let 绑定(bind)和成员的用途吗？
我在这个要点中看到了一个例子:https://gist.github.com/theburningmonk/3199252但我不确定它是如何工作的。

Answer 1

对于 let 绑定(bind)和成员，and关键字用于定义相互递归的类型和函数。一个带有函数的愚蠢示例:

let rec f x = g x + 1
and g x = f x - 1

一个带有类的愚蠢示例:

type A() = 
  member x.B = B()
and B() = 
  member x.A = A()

类的情况确实涵盖了所有可能的类型定义，包括记录和可区分的联合:

type A = 
  | Aaa of int 
  | Aaaa of C
and C = 
  { Bbb : B }
and B() = 
  member x.Bbb = Aaa 10