grin/TODO.md

Todo ideas

• distinguish Val constuctors (LambdaPattern ConstansPattern SimpleValue Value)
• rename Val types to a more descriptive names; see above
• GRIN AST gen EDSL
• better name representation instead of strings
• generate unique names when branching (unique name A + branching direction = unique name B)
• efficient substitution
• type safer and easy to use AST
• add simple frontend language with grin conversion
• generate apply

JIT requirements

simplifaction transformations required by the codegen

• vectorisation
• case simplification
• split fetch operation
• right hoist fetch operation
• register introduction

CodeGen

• LLVM codegen from high level GRIN (HPT + Type Set + Tagged Union)
• GRIN type system (typed simplification)
• simplify/refactor LLVM codegen