The thing I simply don't get is how people, in posession of their full wits and freedom, are willingly writing software in languages that do not have static type checking. It's just beyond me. It barely implies any additional work, given the type inference mechanisms we have today, and the amount of extra error checking and immediate feedback you get is daunting. Now, this might be my ideology, but from my perspective, there is simply no place for untyped (so-called "dynamic") languages in the future of programming.
That doesn't say anything about tests though. I find the sentence "I've never tested it, only proven it correct" to be very suspicious. Everything that is not tested will break.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
The thing I simply don't get is how people, in posession of their full wits and freedom, are willingly writing software in languages that do not have static type checking. It's just beyond me. It barely implies any additional work, given the type inference mechanisms we have today, and the amount of extra error checking and immediate feedback you get is daunting. Now, this might be my ideology, but from my perspective, there is simply no place for untyped (so-called "dynamic") languages in the future of programming.
That doesn't say anything about tests though. I find the sentence "I've never tested it, only proven it correct" to be very suspicious. Everything that is not tested will break.