Home

Design / Implementation Notes

Parsing and IR generation

• Parser Notes
• Type Inference
• Closures and Up-Values
• Linear Intermediate Representation IR

Optimization

• Inlining
• Stack Allocation
• Unreachable Code

Code Generation

• AOT or JIT
• Integration with Ravi

General Compiler Techniques

• Control Flow Graph
• Dominator Tree
• Data Flow Analysis

Language Enhancement Proposals

• Embedding C