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

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

165 agda  type-theory  idris 

मैंने हाल ही में एक विश्वविद्यालय का पाठ्यक्रम पूरा किया जिसमें हास्केल और एजडा (एक आश्रित टाइप की कार्यात्मक प्रोग्रामिंग भाषा) को चित्रित किया गया था, और यह सोच रहा था कि क्या कंबेटरी लॉजिक के साथ लैम्ब्डा कैलकुलस को इन में बदलना संभव है। हास्केल के साथ यह एस …

87 haskell  types  functional-programming  logic  agda