haskell पर टैग किए गए जवाब

स्वच्छ भाषा का उपयोग करता विशिष्टता प्रकार मैं / एक पूरी तरह कार्यात्मक सेटिंग में हे संभालने के लिए। हास्केल समिति भिक्षुओं के बजाय क्यों गई? क्या राज्य को संभालने के लिए अन्य प्रस्ताव थे कि समिति ने जांच की लेकिन उसके खिलाफ निर्णय लिया? नोट : मैं भिक्षुओं और …

36 functional-programming  history  haskell 

मैं C और C # में प्रोग्रामिंग के साथ सहज हूं, और भविष्य में C ++ का पता लगाऊंगा। मुझे एक अलग प्रोग्रामिंग प्रतिमान के रूप में कार्यात्मक प्रोग्रामिंग की खोज करने में रुचि हो सकती है। मैं मज़े के लिए ऐसा कर रहा हूं, मेरी नौकरी में कंप्यूटर प्रोग्रामिंग …

36 haskell  functional-programming  scheme 

मैं कार्यात्मक प्रोग्रामिंग को समझने के उद्देश्य से हास्केल का अध्ययन कर रहा हूं, इस अपेक्षा के साथ कि मैं अन्य भाषाओं में प्राप्त अंतर्दृष्टि को लागू करूंगा (ग्रूवी, पायथन, जावास्क्रिप्ट मुख्य रूप से।) मैं हास्केल चुनता हूं क्योंकि मुझे आभास था कि यह बहुत ही विशुद्ध रूप से कार्यात्मक …

33 functional-programming  haskell  language-features  type-systems 

मैंने डीनोटेशनल सेमेंटिक्स (डीएस) पर थोड़ा पढ़ा है और मैं कंप्यूटर प्रोग्राम डिजाइन करने की प्रक्रिया के बारे में बहुत गहन हूं जहां टाइप और फ़ंक्शंस गणित के लिए मजबूत और स्पष्ट मैपिंग हैं। क्या कोई संसाधन हैं जो डीएस पर आधारित डिजाइनिंग कार्यक्रमों पर विस्तार से चर्चा करते हैं? …

30 scala  haskell  scheme 

ऐसा लगता है कि अभिव्यक्तियों का आलसी मूल्यांकन एक प्रोग्रामर को उस आदेश पर नियंत्रण खोने का कारण बन सकता है जिसमें उनके कोड को निष्पादित किया गया है। मुझे यह समझने में परेशानी हो रही है कि यह प्रोग्रामर द्वारा स्वीकार्य या वांछित क्यों होगा। इस प्रतिमान का उपयोग …

30 functional-programming  haskell 

मैं एक कार्यात्मक भाषा का उपयोग करके एक प्रायोगिक परियोजना शुरू करना चाह रहा हूं और एर्लांग और हास्केल को तय करने की कोशिश कर रहा हूं, और दोनों के पास कुछ बिंदु हैं जो मुझे वास्तव में पसंद हैं। मुझे हास्केल का मजबूत टाइप सिस्टम और शुद्धता पसंद है। …

30 functional-programming  haskell  erlang 

मुझे पता है कि यह एक बहुत व्यापक, अस्पष्ट और संभवतः दार्शनिक सवाल है। एक हद तक, कि प्रश्न में सबसे महत्वपूर्ण कीवर्ड - "मजबूत" प्रकार की प्रणाली - स्वयं, बीमार-परिभाषित है । तो, मुझे समझाने की कोशिश करें कि मेरा क्या मतलब है। प्रश्न के लिए समग्र संदर्भ हम …

29 java  haskell  scala  type-systems  rust 

हास्केल सीखते समय, मैंने बहुत सारे ट्यूटोरियल का सामना करने की कोशिश की है जो यह समझाने की कोशिश कर रहे हैं कि हास्केल में मोनाड्स और मोनाड्स क्यों महत्वपूर्ण हैं। उनमें से प्रत्येक ने सादृश्य का उपयोग किया ताकि अर्थ को पकड़ना आसान हो। दिन के अंत में, मेरे …

29 functional-programming  haskell  monad  side-effect 

एक बात जो मैंने हास्केल के संदर्भ में कभी नहीं बताई है कि आप कैसे पॉलीमॉर्फिक स्थिरांक और कार्य कर सकते हैं जिनके रिटर्न प्रकार को उनके इनपुट प्रकार द्वारा निर्धारित नहीं किया जा सकता है, जैसे class Foo a where foo::Int -> a ऐसे कुछ कारण जो मुझे पसंद …

29 haskell  functional-programming 

हास्केल के पास एक अंतर्निहित पुस्तकालय if/then/elseहै, जो Boolएक साधारण पुस्तकालय समारोह के बजाय, प्रकार पर निर्भर है ? जैसे कि if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न अपडेट करें तो यह है -विषय पर सॉफ्टवेयर इंजीनियरिंग स्टैक एक्सचेंज के लिए। 4 साल पहले बंद हुआ । मैं विशुद्ध रूप से कार्यात्मक डेटा संरचनाएं …

25 books  functional-programming  data-structures  haskell 

मैं लिस्प, क्लॉजुर और हास्केल में इस्तेमाल होने वाले "लेट" की उत्पत्ति के बारे में सोच रहा था। क्या किसी को पता है कि यह पहली बार किस भाषा में दिखाई दिया?

24 history  haskell  lisp  clojure 

परिभाषा के अनुसार, कार्यात्मक भाषाओं को राज्य चर नहीं बनाए रखना चाहिए। क्यों, फिर, हास्केल, क्लोजर, और अन्य सॉफ्टवेयर ट्रांसेक्शनल मेमोरी (एसटीएम) कार्यान्वयन प्रदान करते हैं? क्या दो दृष्टिकोणों के बीच संघर्ष है?

24 functional-programming  haskell  clojure  stm 

हास्केल में मुझे छोटे उपकरण लिखने का कुछ अनुभव है और मुझे यह उपयोग करने में बहुत सहज लगता है, विशेष रूप से फ़िल्टर (उपयोग interact) लिखने के लिए जो उनके मानक इनपुट को संसाधित करते हैं और इसे मानक आउटपुट में पाइप करते हैं। हाल ही में मैंने एक …

23 programming-practices  haskell  stackoverflow 

मैंने वो पढ़ा है हिंडले-मिलनर उप-प्रकारों वाले सिस्टम के साथ काम नहीं करता है, और अन्य प्रकार के सिस्टम फीचर्स हैं जो इसके साथ अच्छी तरह से काम नहीं करते हैं। वर्तमान में जाओ :=ऑपरेटर में केवल बहुत सीमित प्रकार का अनुमान है । लेकिन गो के पास पारंपरिक अर्थों …

22 haskell  type-systems  go