This thing is not a problem on Haskell because everybody always code defensively against bottoms. GHC is quick to teach this to novices.
It may still be a problem of "the lack of this feature inviabilises a lot of good code". It doesn't look like it is, but nobody can be certain, so it's a good avenue to explore.
This thing is not a problem on Haskell because everybody always code defensively against bottoms. GHC is quick to teach this to novices.
It may still be a problem of "the lack of this feature inviabilises a lot of good code". It doesn't look like it is, but nobody can be certain, so it's a good avenue to explore.