type-level-computation

9गर्मी

1उत्तर

संख्यात्मक प्रकार हस्ताक्षर

क्या एक संख्यात्मक तर्क के साथ एक प्रकार बनाना संभव है? यानी अगर मैं एक निश्चित बिट-चौड़ाई के साथ पूर्णांकों का एक प्रकार बनाने के लिए करना चाहते हैं: newtype FixedWidth w = FixedWidth Integer addFi

haskell types type-systems type-level-computation 2011-06-04

---