On the other hand, I've worked with Erlang systems where almost all issues we saw in production would have been prevented by a type-checker. There are, however

On the other hand, I've worked with Erlang systems where almost all issues we saw in production would have been prevented by a type-checker. There are, however, very few ergonomic type systems. At the moment I think Rust is, sadly, the only one.