Skip to content

Pretty good typechecking and serialization

Compare
Choose a tag to compare
@arendsee arendsee released this 03 Nov 23:04
· 760 commits to master since this release

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