Mehrstufige Programmierung mit Splice-Variablen: Sichere und vorhersehbare Codegenerierung

Dieser Artikel stellt eine neuartige Technik namens mehrstufige Programmierung (MSP) vor, die es Programmen ermöglicht, andere Programme zu generieren. Um eine sichere und vorhersehbare Codegenerierung zu gewährleisten, führen die Autoren das Konzept der "Splice-Variablen" ein. Splice-Variablen bieten eine feingranulare Kontrolle über den Codegenerierungsprozess und lassen sich nahtlos auf erweiterte Funktionen wie Code-Musterabgleich und -Umschreibung skalieren. Das Typsystem verfolgt automatisch Variablenabhängigkeiten, um sicherzustellen, dass der generierte Code immer wohlgeformt, korrekt im Gültigkeitsbereich und typprüfbar ist. Der Artikel demonstriert die Leistungsfähigkeit von Splice-Variablen anhand von Beispielen wie der Generierung einer Potenzfunktion und zeigt Funktionen wie Code-Musterabgleich und -Umschreibung.