News for hackers. Stuff that matters.
Re:Algebraic Data Types: Things I wish someone had explained... by sjakobi on Tuesday November 19, 2019 @01:40PM (#21576556)
> Even Haskell doesn't get it right: there are no exhaustiveness checks on pattern matches

Just enable -Wincomplete-patterns or -Wall!

Re:Algebraic Data Types: Things I wish someone had explained... by fauigerzigerk on Tuesday November 19, 2019 @03:23PM (#21577856)
It's just a warning, and it's opt-in. I would say that counts as not getting it right.