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

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

161 haskell  type-systems  dependent-type 

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

109 scala  path-dependent-type  dependent-type  shapeless 

मुझे हाल ही में पता चला है कि प्रूफ पर मिलान करने वाले पैटर्न के साथ संयुक्त प्रकार के छेद हास्केल में एक बहुत अच्छा एजडा जैसा अनुभव प्रदान करते हैं। उदाहरण के लिए: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> …

105 haskell  dependent-type 

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

84 functional-programming  dependent-type