The big TODO list

[SebastianMestre]

This is a list of things that we would like to do, but haven't done yet.

Maintainers: Feel free to add things, even if you don't plan on doing them yourself.

• Symbol table #255 -- Improve handling of declarations in the compiler
• Improve handling of builtin functions in the compiler
• Write a complete description of the type system, tweak implementation to match
• Extract tests to dynamically loaded files
• Add simple constructive tests without scopes #191 -- implement fuzz testing
• First steps towards allowing dynamic typing #251 -- make static type checking optional

[SebastianMestre]

• Parentheses around if expressions are ugly #238 -- remove parens around if expressions

[SebastianMestre]

• use chunked array to store typechecker terms
• use chunked array to store garbage collector cells
• Have the GC manage its own memory #168 -- implement block allocator-based garbage collector

[SebastianMestre]

• Improve readme #269 -- update readme.md with updated syntax

[SebastianMestre]

• match_identifiers in eval_expression #272 -- expose optional dynamic type checking in the interpreter api
• expose optional dynamic type checking as a cli flag
• add lazy nodes to the unification engine (e.g. to identify record terms vs union types more easily)

[SebastianMestre]

• Better parser api #256 -- refactor lexer and parser APIs

[SebastianMestre]

• add a struct that encapsulates the behavior of running the entire frontend on a piece of program text

[SebastianMestre]

• rewrite the parser