> You can do this in basically any language. Tell me you haven't understood what a type system does without... A type system mathematically proves, at compile

> You can do this in basically any language. Tell me you haven't understood what a type system does without... A type system mathematically proves, at compile time, what a program can and cannot do. No, you can't "do this in basically any language". It's ironic that "shift left" is generally considered a good thing', but when you point out that you can shift a significant majority of checks left all the way to compile time, they say "no, not like that!"