[lisper]

> the compiler doesn't refuse to compile your code, it cannot compile your code

"Can not" and "will not" are kind of the same thing in this context. It's not like compilers have free will and just decide to give you a hard time. It's the language design that makes it (im)possible to run code that won't type-check.

[bpshaver]

Thanks for clarifying that compilers don't have free will. I was being facetious, sorry.