1 रिपॉजिटरी
Awesome GitHub RepositoriesTail Recursion Modulo Cons
Optimization of recursive data structure construction to execute in constant space.
Distinct from Stack-Safe Recursion: Candidates focus on general stack-safe recursion or data generation, not specifically the modulo cons optimization
Explore 1 awesome GitHub repository matching programming languages & runtimes · Tail Recursion Modulo Cons. Refine with filters or upvote what's useful.
Awesome Tail Recursion Modulo Cons GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- koka-lang/koka
koka-lang/koka
3,936GitHub पर देखेंKoka एक स्टेटिकली टाइप्ड फंक्शनल प्रोग्रामिंग भाषा है जिसमें एक अलजेब्रिक इफेक्ट सिस्टम है। यह प्रोग्राम की शुद्धता को सत्यापित करने और कंपाइल टाइम पर साइड इफेक्ट्स को ट्रैक करने के लिए एक मजबूत टाइप सिस्टम का उपयोग करती है। यह भाषा एक रेफरेंस काउंटिंग कंपाइलर द्वारा प्रतिष्ठित है जो सोर्स कोड को नेटिव C कोड में बदल देता है, जिससे ट्रेसिंग गारबेज कलेक्टर की आवश्यकता समाप्त हो जाती है। यह मेमोरी ओवरहेड को कम करने के लिए परसीव-आधारित इन-प्लेस अपडेट्स का उपयोग करती है और कांस्टेंट-स्पेस डेटा स्ट्रक्चर निर्माण के लिए टेल रिकर्सन मॉड्यूलो कॉन्स (tail recursion modulo cons) का उपयोग करती है। यह सिस्टम आर्बिट्रेरी प्रिसिजन अरिथमेटिक के साथ न्यूमेरिक ऑपरेशन्स, कुशल व्यूज के साथ स्ट्रिंग प्रोसेसिंग, और अनंत संरचनाओं के लिए को-इंडक्टिव डेटा मॉडलिंग को कवर करने वाली एक व्यापक मानक लाइब्रेरी प्रदान करती है। इसमें हार्डवेयर-सैंपलिंग एक्जीक्यूशन प्रोफाइलिंग के लिए इन-बिल्ट सपोर्ट और एक्सेप्शन्स व एसिंक्रोनस फ्लोस को संभालने के लिए एक कंपोजेबल तंत्र भी शामिल है।
Optimizes recursive data structure construction to execute in constant space by avoiding stack growth.
Kokaalgebraic-effectseffect-handlershandler
