Skrócona instrukcja funkcji konstruktora

Question

Czy istnieje jakiś sposób przekazania konstruktora jako funkcji?

type foo = 
    | Foo of int 
    | Bar of int 

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

Czy istnieje skrótem funkcji foo i bar? Chcę przekazać konstruktora jako funkcję, ale wydaje się nieporęczne, aby napisać fun x -> Bar x.

Answer 1

camlspotter był wystarczająco blisko, ale w przypadku, gdy chcesz użyć Variantslib i dodać with variants na końcu swojej definicji typu:

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

daje następujące:

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

Użyj Fieldslib: https://github.com/janestreet/fieldslib.

Dodawanie with fields postfix w definicji typu takich jak:

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

i skompilować go z Fieldslib za rozszerzenie składni. Automatycznie generuje dla Ciebie foo i bar. Odpowiedź