Pretty good typechecking and serialization
This release sets the foundation for morloc. Basic typechecking/inference, code generation, interoperability, and serialization are all working well. Finally morloc
is sufficiently developed to be useful.
The main future goals break down as follows:
- Richer type system - typeclasses, "shapes", semantic types (probably use a logic engine like z3)
- Effect handling and error/warning propagation
- Optimization - all current optimizations steps are basically stubs
- Doxygen-like documentation, caching, manifold hooks and such (see the last release)
- Improved build system
- Support for many more languages and a streamlined language onboarding process
- The MorlocIO package manager and community portal
- MorlocStudio