构造函数的速记

Question

有什么办法将构造函数作为函数传递吗？

type foo = 
    | Foo of int 
    | Bar of int 

let foo x = Foo x 
let bar = fun x -> Bar x 

是否有功能foo和bar任何速记？我想传递一个构造函数作为函数，但编写fun x -> Bar x似乎很笨拙。

Answer 1

camlspotter的回答是足够接近，但在你的情况下，你要使用Variantslib，并在你的类型定义的末尾添加with variants：

type foo = Foo of int | Bar of int with variants;; 

为您提供了以下内容：

type foo = Foo of int | Bar of int 
val bar : int -> foo = <fun> 
val foo : int -> foo = <fun>              
module Variants : 
    sig 
    val bar : (int -> foo) Variantslib.Variant.t 
    val foo : (int -> foo) Variantslib.Variant.t 
    end 

Answer 2

使用Fieldslib：https://github.com/janestreet/fieldslib。

在喜欢的类型定义添加with fields后缀：

type foo = | Foo of int | Bar of int with fields 

，并与Fieldslib的语法扩展编译。它会自动为您生成foo和bar。