5 ms·

Gleam ? Elixir's exhaustive pattern matching and gradual type checking is also on my radar. I guess I don't know what you mean by effects typing.