3 ms·
That you can't capture all constraints in s type system does not make a type system unnecessary. You still drive value based on how much of the correctness che
by eloff 6y ago
That you can't capture all constraints in s type system does not make a type system unnecessary.
You still drive value based on how much of the correctness checking you can offload to the compiler.
I don't really get why programmers better than anyone understand the value of automating work with a computer, but fail to grasp that value applied to their own craft. Let the computer do more of the work in making sure your program is correct.
- dnautics 6y agoYou're arguing with a strawman. I'm just saying static typechecking is usually sufficient this day in age. Your language itself doesn't have to be static. Actually I'll go even further: It wasn't enough three years ago when language server protocol wasn't a thing.
- anyfoo 6y agoCan you explain that distinction, possibly with an example?
- deleted 6y ago[deleted]