5 ms·

This means type systems help you make your program correct, I agree. Your argument was "type systems make your programs correct", I still disagree with that.

by muhuk 12y ago

This means type systems help you make your program correct, I agree. Your argument was "type systems make your programs correct", I still disagree with that. I think the distinction is important enough.

muhuk 12y ago
Are you downvoting me because you can't stand different opinions?
- adamnemecek 12y ago
  No, people are downvoting you because you are just wrong. Please see this diagram http://ro-che.info/ccc/17.html http://ro-che.info/ccc/17.html
- steveklabnik 12y ago
  FWIW, you cannot downvote someone who replies to you. It could not possibly be adamnemecek.