मौन प्रोग्रामिंग एफ #

Question

का उपयोग कर यह एक व्यावहारिक रूप से महत्वपूर्ण मुद्दा नहीं है, लेकिन मैं एफ # में tacit programming का एक उदाहरण देखने के लिए मेरी बिंदु मुक्त कार्यों कई तर्क हो सकता है जहां चाहें शैली (किसी सूची या टपल के रूप में नहीं) ।

और दूसरी बात, ऐसे फ़ंक्शन जटिल डेटा संरचना में कैसे उपयोग कर सकते हैं। मैं इसे एफ # इंटरएक्टिव में आज़मा रहा हूं, लेकिन अभी तक कोई सफलता नहीं है।

मैंने कोशिश की, उदाहरण के लिए:

> (fun _ -> (fun _ -> (+))) 333 222 111 555 

सही तरीका है कि है?

और:

> (fun _ -> (fun _ -> (+))) "a" "b" "c" "d";; 

val it : string = "cd" 

Answer 1

एफ # बुनियादी कार्यों कि हास्केल (जिसका मुख्य कारण एफ # प्रोग्रामर आमतौर पर प्रोग्रामिंग की स्पष्ट शैली पसंद करते हैं और केवल सबसे स्पष्ट मामलों में pointfree शैली का उपयोग में उपलब्ध हैं के कुछ शामिल नहीं है , जहां यह पठनीयता को चोट नहीं पहुंचाता है)।

लेकिन अगर आप इस तरह कुछ बुनियादी combinators परिभाषित कर सकते हैं:

// turns curried function into non-curried function and back 
let curry f (a, b) = f a b 
let uncurry f a b = f (a, b) 

// applies the function to the first/second element of a tuple 
let first f (a, b) = (f a, b) 
let second f (a, b) = (a, f b) 

अब आप combinators का उपयोग कर दो तार की लंबाई को जोड़ने के लिए समारोह के रूप में इस लागू कर सकते हैं:

let addLengths = 
    uncurry (((first String.length) >> (second String.length)) >> (curry (+))) 

यह दो कार्यों का निर्माण जो String.length को टुपल के पहले/दूसरे तत्व पर लागू करता है, फिर उन्हें लिखता है और फिर + का उपयोग करके टुपल के तत्व जोड़ता है। पूरी चीज uncurry में लपेटी गई है, इसलिए आपको string -> string -> int प्रकार का कार्य मिलता है।

Answer 2

एफ # में, कार्यों की arity तय हो गई है, तो आप दोनों किसी भी ऑपरेटर op के लिए

(op) 1 2 

और

(op) 1 2 3 4 

लिखने के लिए सक्षम होने के लिए नहीं जा रहे हैं। यदि आप यही चाहते हैं तो आपको एक सूची या अन्य डेटा संरचना का उपयोग करने की आवश्यकता होगी। यदि आप नामित चर से बचने की कोशिश कर रहे हैं, तो आप हमेशा "1 + 2 + 3 + 4" कर सकते हैं। एफ # में संख्याओं की सूची जोड़ने का सबसे बेवकूफ तरीका List.sum [1;2;3;4] है, जो चर से बचाता है।