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.

Technologies utilisées
F#.NETHindley-MilnerBytecodeVMGC