निर्माता फ़ंक्शन के लिए शॉर्टंड

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 
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

फ़ील्डस्लिब का उपयोग करें: https://github.com/janestreet/fieldslib।

तरह प्रकार परिभाषा पर with fields पोस्टफ़िक्स जोड़ना:

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

और Fieldslib की वाक्य रचना विस्तार के साथ यह संकलन। यह स्वचालित रूप से आपके लिए foo और bar उत्पन्न करता है।