type-systems पर टैग किए गए जवाब

स्थिर प्रकार की भाषाओं की तुलना में गतिशील प्रकार की भाषाओं के फायदे और सीमाएं क्या हैं? इसे भी देखें : व्हाट्सएप विथ डायनमिक लैंग्वेजेज (एक कहीं अधिक तर्कशील सूत्र ...)

205 programming-languages  dynamic-languages  type-systems 

इसे लिखने पर मुझे क्या फर्क पड़ता है? data Book = Book Int Int बनाम newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically invalid

191 haskell  types  type-systems  newtype 

मैं विकिपीडिया लेख अस्तित्व प्रकार के माध्यम से पढ़ा । मैं इकट्ठा हुआ कि वे अस्तित्वगत प्रकार कहलाते हैं क्योंकि अस्तित्वगत ऑपरेटर (exist)। मुझे यकीन नहीं है कि इसके बारे में क्या बात है, हालांकि। के बीच क्या अंतर है T = ∃X { X a; int f(X); } तथा …

171 language-agnostic  types  type-systems  existential-type 

मैंने कई स्रोतों को देखा है कि "हास्केल धीरे-धीरे एक भरोसेमंद भाषा बनती जा रही है"। निहितार्थ यह लगता है कि अधिक से अधिक भाषा एक्सटेंशन के साथ, हास्केल उस सामान्य दिशा में बह रहा है, लेकिन अभी तक नहीं है। मूल रूप से दो बातें हैं जो मैं जानना …

161 haskell  type-systems  dependent-type 

मैं इस ब्लॉग में इस कोड को देखता हूं: Scala में टाइप-स्तरीय प्रोग्रामिंग : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type …

131 scala  type-systems 

आश्रित विधि प्रकार, जो पहले एक प्रायोगिक विशेषता हुआ करती थी, अब ट्रंक में डिफ़ॉल्ट रूप से सक्षम हो गई है , और जाहिर तौर पर ऐसा लगता है कि स्काला समुदाय में कुछ उत्तेजना पैदा हुई है। पहली नज़र में, यह तुरंत स्पष्ट नहीं है कि यह किस लिए …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

मैंने सुना है कि स्काला के पास पथ-निर्भर प्रकार हैं। यह आंतरिक वर्गों के साथ कुछ करने के लिए है, लेकिन इसका वास्तव में क्या मतलब है और मुझे इसकी परवाह क्यों है?

125 scala  type-systems  path-dependent-type 

दिया : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo मैं इसका Stringएक उदाहरण बनाना चाहता हूं Fooable: instance Fooable String where toFoo = FooString GHC फिर शिकायत करता है: Illegal instance declaration for `Fooable …

85 haskell  ghc  typeclass  type-systems