🔫 Elegant ML-like Imperative Programming Language

• Abstract Syntax Tree
• Lexer
• Parser
• Interpreter
  • Syntax
    • Let (Var binding)
    • If (control flow)
    • Loop (control flow)
    • Function Definition (Function binding)
  • Evaluation
    • Int, Float and Boolean Evaluation
      • const
      • var
    • Function Call Evaluation
• Compile to LLVM IR
• Static Analysis (Visualize Control Flow Graph)
• Compiler Optimization
• Interpreter Optimization (Stack Overflow)

• Type Definition
• Pattern Match

• Code Highlight in VS Code
• Type Inference

• Language BNF
• Syntax & Grammar Tutorial
• Examples