I believe that typed languages offer a level of safety and performance that untyped languages simply cannot match. Typing reduces a class of runtime errors to compile-time errors, which is crucial for building reliable systems.