Elixir/Erlang is great and excited for types. A project that would help webassembly run natively on the beam with an actor model interface.

Have a proposal here: https://docs.google.com/document/d/1adXQGiDoqyJ37r8XWYthFFZf...