Wow! So far this looks like the language I wanted to make! I wanted something like Elixir but with type declarations being part of the language as opposed to being annotations. I’ll be looking at this all weekend! It’s got the right ergonomics.
Inko is a gradually typed, OOP language which uses erlang like isolated processes that don't share memory for concurrency.