Neut: Eine funktionale Programmiersprache mit statischer Speicherverwaltung
Neut ist eine funktionale Programmiersprache mit statischer Speicherverwaltung, die auf clevere Weise volle λ-Kalkül-Unterstützung, vorhersehbare automatische Speicherverwaltung und das Fehlen von Typannotationen kombiniert. Im Gegensatz zu herkömmlicher Garbage Collection verwendet Neut einen typgesteuerten Ansatz zur Ressourcenverwaltung. Der Compiler stellt sicher, dass jede Variable genau einmal verwendet wird, indem er Typen in Funktionen übersetzt, die Werte verwerfen oder kopieren können. Selbst wenn Kopieren notwendig ist, vermeidet Neut unnötigen Overhead durch Verwendung des T-Notwendigkeitsoperators in der Modallogik, ähnlich dem Borrowing in Rust. Neut kompiliert zu LLVM IR und Binärdateien und bietet einen integrierten LSP-Server, einen Code-Formatierer und eine schnelle Prototyping-Erfahrung ähnlich wie Skriptsprachen. Sein einzigartiges Modulsystem unterscheidet Module anhand der Prüfsummen von Tarbällen und definiert Modul-Identitäten mithilfe von Versionsinformationen.
Mehr lesen