4 ms·
Which is how things actually work in non-FP languages too. In those you’re _always_ within Exception<T> and MaybeNull<T> monads. It’s just implicit and we tend
by jgilias 3y ago
Which is how things actually work in non-FP languages too. In those you’re _always_ within Exception<T> and MaybeNull<T> monads. It’s just implicit and we tend to just cross our fingers and hope it’s all well.
- mrkeen 3y agoTo drive the point home a little a little harder: I don't use Haskell because it has a representation for values which might exist (all languages have that), I use it because it has a representation for values which do exist.
- tome 3y agoA little harder still: It does not have a representation for values which do not exist! (see also: "make invalid states unrepresentable")