The comment didn’t claim that types are a stand in for tests either! IMO, they are orthogonal.
The comment explicitly set out to refute the idea "...that unit testing is just as good as type checking" by describing the former as simply inferior.
alt Hacker News
The comment explicitly set out to refute the idea "...that unit testing is just as good as type checking" by describing the former as simply inferior.