Compiler rewrite - Githubissues

zesterer / tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

https://tao.jsbarretto.com/

Mozilla Public License 2.0

1.09k stars 23 forks source link

Compiler rewrite #10

Closed zesterer closed 2 years ago

zesterer commented 3 years ago

This PR includes a from-scratch rewrite of the compiler. The goals of this rewrite are as follows:

A more modular codebase
Support for advanced type system features such as subtyping, parametric polymorphism, etc.
Faster type inference and checking
A simpler HIR language
Support for modules, visibility, many input files, etc.
Improving some aspects of language syntax (more flexible and consistent binding syntax, for example)