Roadmap

[Ailrun]

1. Improve the language
   1. Implement an interpreter
      • miniCUTE interpreter(?)
      • G-Machine interpreter(?) Add a G-Machine interpreter for debugging #107
   2. Implement a full G-Machine-LLVM compiler
      • Add data layout
      • Compile all instructions
        • Update llvm generator #98(PR)
      • Emit executable
   3. Add runtime options
      • Runtime stack/heap sizes
      • Target machine
   4. Implement some optimizations
      • DCE
      • Let merge
      • Lambda merge (?) Add lambda merge optimization #80
   5. Add more primitives
      • if Add a way to use comparison primitives #132
      • par (or parallel)
      • seq (or strict, sequencial, ...) (?)
      • print as a temporal solution for value printing
      • Boolean value (?)
        • Implement a boolean operator transpiler #53
        • Add a way to use comparison primitives #132
      • Character or byte value (?)
      • List or array or vector value
      • Byte array
   6. Design a type system
      • User defined type?
      • Type class
   7. Design a module system
      • Package alias (?)
      • from ... import ... as ... (?)
      • Module sectioning? (Ref: Rust, OCaml, Coq)
      • type class import
2. Implement a language server for the language
3. Create a linter
4. Create lexer/parser generators
5. Replace the compiler language from Haskell to the language

[Ailrun]

For type errors, consider to use type inference trace to give users better information.

[ENvironmentSet]

Annex A:

• Better Language official site

[Ailrun]

Yeah, adding tutorial, etc.

[Ailrun]

Might be useful (but probably hard): Contextual types

[Ailrun]

It might be better to divide this into several sub roadmaps with clear due dates. I will make them in a few days.