मैं स्कैला में चर्च-एन्कोडेड डेटा प्रकारों को कार्यान्वित करने का तरीका जानने का प्रयास कर रहा हूं। ऐसा लगता है कि इसे रैंक-एन प्रकारों की आवश्यकता है क्योंकि आपको प्रकार forAll a. a -> (forAll b. b -
में चर्च अंकों का घटाव मैं हास्केल में चर्च अंकों को लागू करने का प्रयास कर रहा हूं, लेकिन मैंने मामूली समस्या को मारा है। हास्केल साथ एक अनंत प्रकार की शिकायत होती है जांच: अनंत प्रकार का निर्माण नही
या विशिष्ट होने के लिए, हम संख्याओं को एन्कोड करने के लिए सूचियों और पुनरावृत्ति को एन्कोड करने के लिए फ़ोल्डर का उपयोग क्यों करते हैं? लंबे समय से परिचय के लिए खेद है, लेकिन मुझे वास्तव में उन चीज़ों