मिनी-कानरेन के निष्पादन मॉडल को समझना

Question

एसआईसीपी का अध्याय 5 एक रजिस्टर मशीन के मेटा सर्कुलर मूल्यांकनकर्ता इंटर्न की व्याख्या करता है।

क्या ऐसी कोई चीज है जो योजना प्राइमेटिव के मामले में समान प्रकार के मिनी-कानरेन प्रदान करती है?

मुझे पता है कि मिनी-कानरेन पर एक थीसिस लिखा गया है (हालांकि, मुझे केवल मानसिक मॉडल बनाने की परवाह है, सभी गॉरी ऑप्टिमाइज़ेशन विवरण नहीं)। मुझे यह भी पता है कि तर्क-स्कीमर है - हालांकि, मैं उदाहरणों का एक समूह नहीं ढूंढ रहा हूं - मैं सिर्फ मिनी-कानरेन को अपने बहुत ही बुनियादी रूप में समझना चाहता हूं, जैसे कि कोई योजना कैसे समझ सकता है समझना: eval, लागू करें, अगर, सेट !, env

धन्यवाद!

Answer 1

मुझे लगता है कि पढ़ना उचित कारण शेमर वास्तव में मूल बातें सीखने का सही तरीका है। आप क्लोजर कॉंज से डेन फ्राइडमैन और विलियम बायर्ड के miniKanren talk को देखने का भी प्रयास कर सकते हैं।

चूंकि मिनीकेनरेन में केवल seven forms कुल है, मूल रूपों को समझना वास्तव में पूरी चीज को समझ रहा है। कार्यान्वयन मैक्रोज़ के बारे में केवल a page है, इसलिए आप इसे समझने का प्रयास कर सकते हैं। आप विलियम बर्ड के PhD thesis के प्रारंभिक भागों को पढ़ने का भी प्रयास कर सकते हैं।

Answer 2

The Reasoned Schemer पुस्तक में योजना के शीर्ष पर एक बहुत ही सरल तर्क प्रणाली का कार्यान्वयन है। यह आत्मनिर्भर है, इसे समझने के लिए आवश्यक एकमात्र चीज ही किताब है, जो श्रृंखला में अन्य पुस्तकों की शैली में, पालन करना बेहद आसान है।