News for hackers. Stuff that matters.

A comment on A monad is a monoid in the category of endofunctors, what’s the problem?. Parent comment

Re:A monad is a monoid in the category of endofunctors, what... by chrisweekly on Sunday February 10, 2019 @10:20AM (#19128081)
Related tangent, in hopes it might be helpful to others:

my mneumonic for distinguishing "inductive" vs "deductive" is "PIG":

Particular -> Inductive -> General

See also "infer" vs "deduce".

[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by mightybyte on Sunday February 10, 2019 @11:01AM (#19128280)
I wrote The Monad Challenges with roughly this idea in mind.

http://mightybyte.github.io/monad-challenges/

The idea was to guide people through various important particulars of monads. It still needs some work, but I think the basic approach is promising.

[ Parent | on HN ]