undefined | Better HN

0 pointsicrbow4y ago0 comments

> Haskell doesn't have sum types

Say what?..

0 comments

2 comments · 1 top-level

tome4y ago· 1 in thread

I think it's because `Either a b` contains all of `undefined`, `Left undefined` and `Right undefined`. In other words, a technicality.

And this is not even the bottom of Haskell's unsoundness.

j / k navigate · click thread line to collapse