Dynamic typing shouldn't necessarily prevent you from developing large reliable and safe software systems, esp. if you apply TDD (test-driven development) which was pioneered by Kent Beck. For example, Smalltalk was used by the Joint US military to write a million-line battle simulator called JWARS. It actually outperformed a similar program called STORM written in C++ by the US Air Force.