ML-like syntax. Algorithm W type inference. Call-by-value and call-by-need evaluation strategies. Infinite data structures. GC based on copy collection. The grammar ...
Lexical analysis and parsing using ANTLR4 Abstract Syntax Tree (AST) generation Visitor pattern for AST traversal and interpretation Type checking and variable management Runtime evaluation of ...