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

मैंने Haskell के इस छोटे से हिस्से को यह पता लगाने के लिए लिखा कि GHC यह कैसे साबित करता है कि प्राकृतिक संख्या के लिए, आप केवल यहां तक ​​कि आधा कर सकते हैं: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | …

84 haskell  ghc  proof  haskell-platform  formal-verification 

यह सर्वविदित है कि एप्लाइड फंक्शनलर्स कंपोजिशन के तहत बंद हैं, लेकिन मोनाड्स नहीं हैं। हालाँकि, मुझे एक ठोस प्रतिधारण दिखाने में परेशानी हो रही है जो दिखा रहा है कि सन्यासी हमेशा रचना नहीं करते हैं। यह उत्तर[String -> a] एक गैर-मठ के एक उदाहरण के रूप में देता …

82 haskell  monads  composition  proof 

मैंने इस प्रश्न को देखा , और उत्सुक था कि पम्पिंग लेम्मा क्या थी ( विकिपीडिया ने बहुत मदद नहीं की)। मैं समझता हूं कि यह मूल रूप से एक सैद्धांतिक प्रमाण है कि किसी भाषा के लिए एक निश्चित कक्षा में होना सही होना चाहिए, लेकिन इससे परे मैं …

82 theory  proof  pumping-lemma