4 ms·
You're not missing anything. The author is rediscovering first-class functions, applicatives, functors, and monads the long way around.
by WkndTriathlete 5y ago
You're not missing anything. The author is rediscovering first-class functions, applicatives, functors, and monads the long way around.
- mjburgess 5y agoToo 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...