Design for the type system

Lucian Radu Teodorescu
2 years, 7 months ago
I finally finalized the blog post with the proposed design of the new Sparrow type system. It is still high-level, but I wanted to make sure we have enough understanding of the main features that the design proposes.

Here it is:

Any feedback is welcomed!
Log in to comment