वैकल्पिक तर्कों का प्रचार

Question

निम्न कोड संकलित नहीं करता है।

type A(?arg) = 
    member __.Arg : string option = arg 

type B(?arg) = 
    inherit A(arg) //ERROR expected type string but has type 'a option 

मुझे लगता है इस वजह से विकल्प की अंतर्निहित प्रकार का एक उदाहरण प्रदान किया जाना चाहिए, और संकलक Some/None गुजर हैंडल वाक्य रचना पर आधारित है।

मेरी धारणा को मानते हुए सही ढंग से माना गया है, क्या इसके लिए कोई कामकाज है? क्या वैकल्पिक तर्कों का प्रचार करना संभव है?

Answer 1

एफ # कल्पना 8.13.5 वैकल्पिक विधि के सदस्यों को तर्क

कॉलर्स निम्नलिखित तकनीकों का उपयोग करके वैकल्पिक तर्क के लिए मान निर्दिष्ट कर सकते हैं:

• नाम से , जैसे arg2 = 1.
• नाम से मौजूदा वैकल्पिक मान का प्रचार करके, जैसे कि arg2 = none या? arg2 = कुछ (3) या? arg2 = arg2। यह उपयोगी हो सकता है जब एक विधि का निर्माण जो वैकल्पिक तर्कों को दूसरे पर पास करता है।

• स्थिति से मेल खाने वाले सामान्य, अज्ञात तर्कों का उपयोग करके।

  type A(?arg) = 
      member __.Arg : string option = arg 
  
  type B(?arg) = 
      inherit A(?arg = arg) 
  
  printfn "1. %A" (B()).Arg // None 
  printfn "2. %A" (B("1")).Arg // Some "1" 
  
  printfn "3. %A" (A()).Arg // None 
  printfn "4. %A" (A("1")).Arg // Some "1" 
  

Answer 2

क्षमा करें इसे पहले परीक्षण करना था: ऐसा लगता है कि आप सही हैं - आपको "?" करना है एक खुद के लिए:

type A(arg : string option) = 
    new (a) = new A(Some a) 
    new() = new A(None) 
    member __.Arg : string option = arg 

type B(?arg) = 
    inherit A(arg)