3 ms·
Too add, His first example is an applicative: parallel lines of evaluation into a result. His second example I believe is the Either monad, if he takes ';' to
by mjburgess 5y ago
Too add,
His first example is an applicative: parallel lines of evaluation into a result.
His second example I believe is the Either monad, if he takes ';' to be a sequencing operation.
His quad example is a monad with a syntax for defining an instance.
And so on...