There's a more to reliable software than static typing. See eg Erlang and its stellar record in building reliable systems. Static types aren't necessarily the

There's a more to reliable software than static typing. See eg Erlang and its stellar record in building reliable systems. Static types aren't necessarily the best fit for distirbuted systems, network protocols, asynchrony etc.