An argument for dynamic typing is that by not enforcing the types of a function’s parameters, the function becomes more generalized, and thus more flexible and reusable. I argue that this flexibility versus automatically-verifiable correctness of the system is not a trade-off we need to make. http://blog.debugme.eu/dynamic-typing/