歧视的联盟并让绑定

Question

let ``one`` x = One(x)
type Number = 
| One of int
| Two
with 
    member this.Hi x = ``one`` x

基本上，我想定义一个引用有区别的联合的let绑定，我想在该联合的一个扩展中使用它，因为我知道你不能定义{{1由于一些奇怪的原因，在联盟内部绑定。双重标记是重点。

实际上，我想要的是为联盟成员制作一种简洁的构造函数。我理解有歧视的工会不能有构造函数，但有没有办法做到这一点，也许没有使用上面的let绑定？

Answer 1

您可以使用type extensions来定义类型，然后编写一些let绑定（顶层或模块中），然后将member声明添加到类型中：

type Number =  
  | One of int
  | Two 

let one x = One(x) 

type Number with
  member this.Hi x = one x 

如果你在一个文件中写这个，那么这是一个内在类型扩展，这意味着代码将被编译为带有成员的标准类型（并且成员可以直接使用C＃）。如果您在另一个文件中添加了扩展名，那么这将是不同的（更像是C＃扩展方法）。

对于F＃类声明，您还可以在类中使用本地let绑定（在声明成员之前），但遗憾的是，对于受歧视的联合，这不受支持。