Nehmen wir an, wir wollten eine typvolle, rein funktionale Programmiersprache wie Haskell oder Idris, die auf die Systemprogrammierung ohne Garbage Collection abzielt und keine Laufzeit hat (oder zumindest nicht mehr als die C- und Rust-Laufzeit). Etwas, das mehr oder weniger auf blankem Metall laufen kann.
Welche Optionen für die statische Speichersicherheit erfordern keine manuelle Speicherverwaltung oder Speicherbereinigung zur Laufzeit, und wie könnte das Problem mithilfe des Typsystems einer reinen Funktion gelöst werden, die Haskell oder Idris ähnelt?