1 Repo
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
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- koka-lang/koka
koka-lang/koka
3,936Auf GitHub ansehenKoka ist eine statisch typisierte funktionale Programmiersprache mit einem algebraischen Effektsystem. Sie verwendet ein starkes Typsystem, um die Korrektheit von Programmen zu verifizieren und Seiteneffekte zur Kompilierzeit zu verfolgen. Die Sprache zeichnet sich durch einen Referenzzählungs-Compiler aus, der Quellcode in nativen C-Code umwandelt, wodurch ein Garbage Collector überflüssig wird. Sie verwendet wahrnehmungsbasierte In-Place-Updates, um den Speicher-Overhead zu reduzieren, und nutzt Tail Recursion Modulo Cons für die Konstruktion von Datenstrukturen mit konstantem Speicherbedarf. Das System bietet eine umfassende Standardbibliothek, die numerische Operationen mit beliebiger Präzisionsarithmetik, String-Verarbeitung mit effizienten Views und koinduktive Datenmodellierung für unendliche Strukturen abdeckt. Sie enthält zudem integrierte Unterstützung für hardware-sampling-basiertes Ausführungs-Profiling sowie einen komponierbaren Mechanismus zur Behandlung von Exceptions und asynchronen Abläufen.
Optimizes recursive data structure construction to execute in constant space by avoiding stack growth.
Kokaalgebraic-effectseffect-handlershandler
