> "We are working on a prototype, open-sourcing in November"

I'm curious to see how Elixir integration with such static type system would work.

I think it's more natural to gradually implement components as Erlang NIFs in Rust via https://github.com/rusterlium/rustler.