4 ms·
> I'm writing an authorization expression parser that generates a Validation applicative functor (whose errors form a semi-group, so cool!). It's either the su
by hawkice 10y ago
> I'm writing an authorization expression parser that generates a Validation applicative functor (whose errors form a semi-group, so cool!).
It's either the successful result or a list of errors. That's what you're describing here. Boom -- boringified.
- disconcision 10y agohmm yes but what if we construe boringification as decategorification of the n-category of interesting algebraic constructions?
- marcosdumay 10y agoWell, if you do that with the right interface, a "successful result or a list of errors" is a "Validation applicative functor (whose errors form a semi-group)".