Aller au contenu
Compilateur

AstraLang

Langage fonctionnel avec inférence de types (Algorithm W), AST, IR en forme ANF, lambda lifting, closure conversion, optimisations (constant folding, dead code elimination), compilation vers bytecode et machine virtuelle à pile avec garbage collector mark-and-sweep. REPL et exécution de fichiers .astra.

Aperçu AstraLang

Technologies utilisées

F#.NETHindley-MilnerBytecodeVMGC