4 ms·
Just go to any hacker news discussion about types and you’ll find plenty of these sorts of claims
by phyrex 6y ago
Just go to any hacker news discussion about types and you’ll find plenty of these sorts of claims
- johnday 6y agoI've frequented the occasional Haskell discussion on HN and the outcome is usually people refuting this point and not arguing in favour of it.
- AnimalMuppet 6y agoWell... I've seen discussions here where someone claims "If it compiles it works" as if that's a universal dogmatic truism for Haskell. Then people poke holes in it, and then the grownup Haskellers show up and say that no, the kids are getting a little carried away in their claims. If it compiles, certain classes of bugs are absent, but that's not the same as it works.
- pdimitar 6y agoStatic strong typing is eliminating a class of potential bugs. It doesn't guarantee good software practices on the rest of your code base. Or maintainability, well-covered with tests code, or readability. If you dislike static strong typing that's a different topic altogether and it's not what is discussed here.