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。

Answer 3

您现在可以使用ppx_variants_conv，如下所示：

type 'a t =
  | A of 'a
  | B of char
  | C
  | D of int * int
  [@@deriving variants]

构造函数的简写

3 个答案: