>”We don’t need smarter type systems, we need…”

Erlang, you just described Erlang.