Kurzschrift für Konstruktorfunktion

Question

Gibt es eine Möglichkeit, einen Konstruktor als Funktion zu übergeben?

type foo = 
    | Foo of int 
    | Bar of int 

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

Gibt es eine Abkürzung für die Funktionen foo und bar? Ich möchte einen Konstruktor als eine Funktion übergeben, aber es scheint unhandlich zu schreiben fun x -> Bar x.

Answer 1

Antwort des camlspotter war nahe genug, aber in Ihrem Fall, dass Sie Variantslib verwenden und with variants am Ende Ihrer Typdefinition hinzufügen:

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

Ihr das gibt folgendes:

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

Verwenden Sie Fieldslib: https://github.com/janestreet/fieldslib.

Hinzufügen with fields Postfix bei der Typdefinition wie:

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

und kompilieren Sie es mit Fieldslib Syntax-Erweiterung. Es generiert automatisch foo und bar für Sie.