यह सवालयदि एसएमएल.नेट में मज़ेदार थे तो एफ # क्यों नहीं हो सकता?
- एफ # करने के लिए एल सी पॉलसन द्वारा "ML for the Working Programmer" (WorldCat) का मेरा अनुवाद जो उदाहरण के लिए functors का उपयोग करता है से बाहर शुरू कर दिया।
- क्रिस ओकासाकी द्वारा "Purely Functional Data Structures" (WorldCat) का अनुवाद करने की अंतिम इच्छा जो फ़ैक्टर का उपयोग करती है।
- एंड्रिया एस्पर्टी और जिएसेपे लोंगो द्वारा "CATEGORIES TYPES AND STRUCTURES - An Introduction to Category Theory for the working computer scientist" (WorldCat) पढ़ना।
- यह सब समझ नहीं रहा, ज्यादातर श्रेणी सिद्धांत।
SML.NET functors करते हैं और Microsoft .NET के साथ काम किया जा सकता है।
* देखें: SML.NET User Guide धारा 4.8.2 कक्षा के प्रकार और मज़दूर?
मैं देख रहा हूं कि F # माइक्रोसॉफ्ट .NET में कुछ सीमा के कारण वास्तविक मजेदार नहीं कर सकता।
* Can ML functors be fully encoded in .NET (C#/F#)?
* Any workaround for functor?
तो SML.NET तो नेट पर functors कर सकता है, तो क्यों नहीं कर सकते हैं एफ #? एसएमएल.NET ने क्या किया है कि एफ # नहीं कर सकता?
जितना अधिक मैं श्रेणी सिद्धांत से आने वाले मकसद के बारे में सीखता हूं, उतना ही मैं उनकी सुंदरता देखता हूं और उन्हें F # में रखना चाहता हूं।
संपादित
एक पीछा बेहतर के बीच श्रेणी सिद्धांत और कार्यात्मक प्रोग्रामिंग संबंध को समझने के लिए CS:StackExchange पर इन Q&A देखते हैं।
चूंकि लोगों के पास यह प्रश्न देखा गया है, इसलिए मैं इस पेपर को एक लिंक जोड़ रहा हूं क्योंकि उन्हें रुचि का पेपर मिल सकता है। [भौतिकी, टोपोलॉजी, तर्क और गणना: ए रोजेटा स्टोन] (http://arxiv.org/pdf/0903.0340v3.pdf) –
ब्याज की: [उच्च प्रकार की जेनिक्स] (http: //adriaanm.github। आईओ/फाइल/उच्च पीडीएफ) और [स्कैला में एक उच्च प्रकार का प्रकार क्या है?] (http://stackoverflow.com/questions/6246719/what-is-a-higher-kinded-type-in-scala) और [एफ # के लिए उच्च ऑर्डर जेनेरिक जोड़ें - (कक्षाएं टाइप करें)] (https://visualstudio.uservoice.com/forums/121579-visual-studio/suggestions/2228766-add-higher-order-generics-to-f-type- कक्षा-) –
ब्याज की: [वैश्विक ऑपरेटर ओवरलोडिंग एफ #] (http://stackoverflow.com/questions/19682432/global-operator-overloading-in-f) और [FsControl - मानक विज्ञापन-प्रसार के साथ एक एफ # बेस लाइब्रेरी आदिम प्रकारों पर पॉलिमॉर्फिक फ़ंक्शन।] (https://github.com/gmpl/FsControl) –