←back to thread

517 points bkolobara | 1 comments | | HN request time: 0.225s | source
Show context
pjmlp ◴[] No.45041965[source]
Most of these productivity gains are achievable in any Standard ML influenced type system.
replies(4): >>45042039 #>>45042138 #>>45043180 #>>45043371 #
love2read ◴[] No.45043371[source]
does this actually mean anything more than using a type system?
replies(1): >>45051668 #
1. lmm ◴[] No.45051668[source]
Yes, at least to people who haven't used it. Many C++ or Java programmers think their language has a type system. Even some Python or Ruby programmers do.