But it avoids a huge class of really really bad bugs. If you remove manual memory management and mutable stare you can go pretty far in terms of security even i

But it avoids a huge class of really really bad bugs. If you remove manual memory management and mutable stare you can go pretty far in terms of security even in a dynamically typed system. See clojure as an example.