[AnimalMuppet]

A line from a novel by Georgette Heyer: "I look for trouble. I don't wait to have it brought to my attention."

That is, if there's a type problem, I want to know at compile time, not at run time.

But I'm in embedded systems. My stuff looks like just a machine to the customer. They don't want a type error at runtime messing them up. That may not be your world. If you'd rather things go happily along until the circumstances actually occur in execution, and if that ever happens, you then find out about the type problem, well, that's what is reasonable to you in your environment and circumstances, and that's fine. Use dynamic typing, and don't feel guilty.