> Well, your reasoning skills are different from your compiler. Very true. > Personally, I'm inclined to something like "the human can over-ride the compiler,

> Well, your reasoning skills are different from your compiler. Very true. > Personally, I'm inclined to something like "the human can over-ride the compiler, but only after listening to it. For me, it depends on the language. If you have generics, macros, and non-nullable types: I'm on board. If you lack any one of those, I'd rather be dynamic. I don't want to be constantly overriding the compiler, writing a lot of boilerplate, or still have to deal with nulls.