एफ # में Erlang नए सिरे से लिखना

Question

मैं डॉन सायमे द्वारा एक presentation जो दिखाता है कि Erlang के

fac(0) -> 1 
fac(N) -> N * fac(N-1). 

एफ # के

let rec fac = function 
| 0 -> 1 
| n -> n * fac (n-1) 

के बराबर है पाया है लेकिन ऐसा लगता है कि वहाँ पैटर्न के लिए मिलान का उपयोग करने के कोई रास्ता नहीं है की तरह प्रकार की सुरक्षा खोने के बिना एक अलग धर्मार्थ। जैसे एक एक सूची पैटर्न मिलान का उपयोग कर सकता है, लेकिन फिर एक प्रकार होना चाहिए (जैसे object के रूप में) एक आम आधार प्रकार:

let concat = function 
    | [x;y] -> x.ToString() + y.ToString() 
    | [x] -> x.ToString() 

यह देखते हुए कि मॉड्यूल में एफ # कार्यों भार के समर्थन नहीं करते, यह एक ही रास्ता के पुनर्लेखन के लिए की तरह लग रहा स्थैतिक टाइपिंग के साथ एफ # में एरलांग कोड मॉड्यूल के बजाए विधि अधिभार के साथ स्थैतिक वर्गों का उपयोग करना है। क्या एफ # में अलग-अलग धैर्य के साथ एरलांग कार्यों को फिर से लिखने का एक बेहतर तरीका है?

सामान्यतः, क्या यह कहना सही है कि Erlang का तर्क मिलान F # के पैटर्न मिलान के बजाय .NET की (सी # सहित) ओवरलोडिंग के करीब है? या दोनों के बीच कोई प्रत्यक्ष प्रतिस्थापन नहीं है, उदा।

max(x) -> x. 
max(x,y) when x > y -> x. 
max(x,y) -> y. 
max(comparer, x, y) -> if comparer(x,y) > 0 -> x; true -> y end. 

पिछले मामले में तर्क अलग अलग प्रकार के होते हैं: विभिन्न arities + एक गार्ड के साथ Erlang में एक समारोह हो सकता है। आप इसे एफ # में कैसे लिखेंगे?

Answer 1

आप समस्या को फिर से सोचकर ओवरलोडिंग के करीब कुछ हासिल कर सकते हैं। भिन्नता की धुरी के रूप में फ़ंक्शन के बारे में सोचने के बजाय, इनपुट को चर के भाग के रूप में सोचें। यदि आप ऐसा करते हैं, तो आपको पता चलेगा कि आप achieve the same with a discriminated union कर सकते हैं।

यहाँ जुड़े हुए लेख में की तुलना में एक अधिक काल्पनिक उदाहरण है:

type MyArguments = One of int | Two of int * int 

let foo = function 
    | One x -> string x 
    | Two (x, y) -> sprintf "%i%i" x y 

उपयोग:

> foo (One 42);; 
val it : string = "42" 
> foo (Two (13, 37));; 
val it : string = "1337" 

जाहिर है, बजाय ऊपर MyArguments के रूप में इस तरह के एक 'बेवकूफ' प्रकार को परिभाषित करने की है, तो आप डी एक भेदभाव संघ को परिभाषित करता है जो आपके द्वारा मॉडलिंग किए जा रहे डोमेन में समझ में आता है।