lambda-calculus पर टैग किए गए जवाब

मैं कसम खाता हूं कि अमर शब्दों की बिक्री के लिए एक टी-शर्ट हुआ करती थी : का क्या हिस्सा? क्या आपको समझ नहीं आया? मेरे मामले में, इसका उत्तर होगा ... यह सब! विशेष रूप से, मैं अक्सर हास्केल पत्रों में इस तरह का अंकन देखता हूं, लेकिन मुझे …

850 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

हास्केल ( GHCसंकलक के साथ ) आपकी अपेक्षा से बहुत अधिक तेज है । सही तरीके से इस्तेमाल होने पर, यह निम्न-स्तर की भाषाओं के करीब-ईश प्राप्त कर सकता है। (Haskellers के लिए एक पसंदीदा बात यह है कि C के 5% के भीतर प्रयास करें और प्राप्त करें (या …

247 performance  haskell  ghc  higher-order-functions  lambda-calculus 

चर्च संख्या कार्यों के रूप में प्राकृतिक संख्याओं का एन्कोडिंग है। (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 केवल, आप उन्हें लागू …

135 algorithm  haskell  functional-programming  lambda-calculus  modular-arithmetic