Syl will abhängige Typen zur Compile-Zeit in die Systemprogrammierung bringen

Compile-Time Dependent Types

C++ hat Templates, Rust hat const generics, Zig hat comptime – doch diese Werkzeuge sind stark eingeschränkt oder entbehren eines echten Typsystems. Die Sprache Syl des Autors setzt stattdessen auf ein modales Typsystem nach dem Vorbild der Two-Level Type Theory von András Kovács und der Pläne für OxCaml. Werte tragen Modi für Staticity und Erasure: statische Werte sind zur Compile-Zeit bekannt und werden monomorphisiert, Typen sind stets erased. So ist Syl zur Compile-Zeit abhängig typisiert, zur Laufzeit aber einfach typisiert – auf Kosten der Entscheidbarkeit der Typprüfung.