type-systems

6गर्मी

1उत्तर

HList

पर मैप करने के लिए असमर्थ मैं निराकार साथ this problem हल करने के लिए कोशिश कर रहा था। हालांकि मैं किसी कारण HList पर मैप करने के लिए असमर्थ के लिए कर रहा हूँ। मैं कोड खुद के लिए बोलने दूँगा। import s

scala type-systems shapeless 2012-07-11

---

6गर्मी

1उत्तर

निर्भर विधि प्रकारों के समतुल्य संदेश

this पोस्ट के लिए धन्यवाद मैं आश्रित विधि प्रकारों के आसपास अपना सिर प्राप्त कर रहा हूं। मैं एक संरचना के समान trait Environment{ type Population <: PopulationBase protected trait Population

scala akka type-systems 2012-05-26

---

9गर्मी

2उत्तर

स्कैला - संकलन समय पर वेक्टर का आकार लागू करना

क्या संकलन समय पर एक विधि में Vector के आकार को लागू करना संभव है? मैं अंतरिक्ष कि कुछ इस तरह दिखता में अंक का एक संग्रह का उपयोग कर एक n आयामी इयूक्लिडियन स्थान मॉडल करने के लिए (यह क्या मैं अब है) ह

scala tuples compile-time type-systems 2013-02-06

---

8गर्मी

1उत्तर

भिन्नता एनोटेशन, स्कैला कंपाइलर

स्केल पृष्ठ 436 में प्रोग्रामिंग को ट्रैक करने के लिए "सकारात्मक" और "ऋणात्मक" पदों को ट्रैक रखते हुए, लेखक संकलक जांच का एक उदाहरण देता है कि प्रत्येक प्रकार पैरामीटर केवल उन पदों में उपयोग किया जाता

scala compiler-construction type-systems variance 2012-09-16

---

7गर्मी

1उत्तर

टाइप इन थ्योरी

0 के सभी उदाहरणों का सामान्य सुपरटेप क्या है, मैं ऑटोलॉजी डिज़ाइन करने की कोशिश कर रहा हूं जैसे कि ओडब्लूएल या टॉपिक मैप्स के साथ परिभाषित किया जा सकता है जिसमें पॉलिमॉर्फिक प्रकारों जैसे सूची [टी] के

scala haskell semantics type-systems type-theory 2012-12-28

---

8गर्मी

3उत्तर

एक पूर्ण प्रकार की अनुमानित भाषा क्या है? और ऐसी भाषा की सीमाएं?

जहां तक ​​मुझे पता है, किसी भी प्रोग्रामिंग भाषा को फ़ंक्शन या मॉड्यूल लिखते समय स्रोत में टाइप एनोटेशन लिखने की आवश्यकता नहीं होती है और यदि कोड का वह हिस्सा "टाइप-सही" है, तो कंपाइलर प्रकारों का अनु

types programming-languages functional-programming type-inference type-systems 2012-05-05

---

9गर्मी

2उत्तर

डेटाकिंड

का उपयोग कर प्रकार हस्ताक्षर में बाध्यकारी नाम तो, मुझे अंततः एक कार्य मिला जहां मैं नए DataKinds एक्सटेंशन (ghc 7.4.1 का उपयोग कर) का उपयोग कर सकता था। यहाँ Vec मैं उपयोग कर रहा हूँ है: data Nat = Z

haskell syntax type-systems 2012-06-28

---

6गर्मी

1उत्तर

क्यों (ए, ए) एक मजेदार नहीं है?

संभव डुप्लिकेट: Making (a, a) a Functor मैं quicksort के निम्नलिखित कार्यान्वयन लिखा है: import Data.List (partition) quicksort [] = [] quicksort (x:xs) = let (smaller, notSmaller) = partitio

haskell typeclass functor type-systems pair 2012-10-06

---

22गर्मी

3उत्तर

हास्केल की टाइप सिस्टम और तर्क प्रोग्रामिंग - स्तर

टाइप करने के लिए प्रोलॉग प्रोग्राम्स को पोर्ट करने के लिए कैसे करें मैं एक तर्क प्रोग्रामिंग भाषा (मेरे मामले में प्रोलॉग) और हास्केल के प्रकार सिस्टम के बीच संबंध को समझने की कोशिश कर रहा हूं। मैं सं

haskell prolog type-systems logic-programming 2012-12-16

---

9गर्मी

3उत्तर

सी # भाषा जेनेरिकों को कब्रिस्तान होने से रोकती है जब तक कि उनमें कोई तरीका नहीं है जिसके लिए टी को इनपुट के रूप में आवश्यकता होती है?

मैं उन परिवर्तनों पर पढ़ रहा हूं जो .NET4.5 लाएंगे, और this ब्लॉग पोस्ट पर मैंने कुछ ऐसी चीज पर ठोकर खाई जिसे मैं न जानता था और न ही समझ गया था। जब केवल पढ़ने के लिए संग्रह के कार्यान्वयन के बारे में

c# .net-4.5 type-systems 2012-06-18

---