Re: New section for category theory on the Scala Wiki

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Re: New section for category theory on the Scala Wiki

Vlad Patryshev
Somehow bumped into it, 5+ years later.

A short clarification note. There is no such thing as "Kleisli Monad".
Namely, monads were known in the old days as "Kleisli Triples" (Kleisli introduced this term, as far as I know). Later a "new" term, "monad", replaced it.


On Wed, Sep 14, 2011 at 1:30 AM, Kevin Wright <[hidden email]> wrote:

Find it here:

The only thing currently in there is a brief use-case for the Kleisli Monad (shamelessly stolen from an email by Chris Marshall).  I just wanted to get the ball rolling and give people a place to build out from.

Kevin Wright
mail: [hidden email]
gtalk / msn : [hidden email]
vibe / skype: kev.lee.wright
steam: kev_lee_wright

"My point today is that, if we wish to count lines of code, we should not regard them as "lines produced" but as "lines spent": the current conventional wisdom is so foolish as to book that count on the wrong side of the ledger" ~ Dijkstra

You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit