msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
Files
3e96c838b6494698f47c7456092e844df1010066
rlp/README.md

871 B
Raw Blame History

rlp

rlp (ruelang') will be a lazily-evaluated purely-functional language heavily imitating Haskell.

Potential Features

Listed in order of importance.

  • ADTs
  • First-class functions
  • Higher-kinded types
  • Typeclasses
  • Parametric polymorphism
  • Hindley-Milner type inference
  • Newtypes
  • Parallelism
  • C# interop

Milestones

(This list is incomplete.)

  • Backend
    • Core language
      • AST
    • Emitter
      • MSIL Codegen module
      • Core language emitter
    • Core linter (Type-checker)
    • Optimiser
      • Let-floating
      • TCO
  • Frontend
    • High-level language
      • AST
      • Lexer
      • Parser
    • Translation to the core language
      • Constraint solver
      • do-notation
    • CLI
Reference in New Issue View Git Blame Copy Permalink