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

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

165 agda  type-theory  idris 

absurdमें समारोह Data.Voidनिम्नलिखित हस्ताक्षर है, जहां है Voidतार्किक निर्जन प्रकार है कि पैकेज द्वारा निर्यात है: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a मुझे दस्तावेज़ की टिप्पणी को प्राप्त करने के लिए पर्याप्त …

97 haskell  type-theory  curry-howard