This would make it impossible to use languages such as Clojure, Erlang and Elixir, which have been proven to be helpful to build robust software. Do you also k

This would make it impossible to use languages such as Clojure, Erlang and Elixir, which have been proven to be helpful to build robust software. Do you also know that there are disadvantages to type systems? And advantages to dynamically type languages? It's not all black and white.