Re:Static Types Are for Perfectionists
by lisper on Monday May 19, 2025 @04:24PM
(#44034408)
> 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.
"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.