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:

https://wiki.scala-lang.org/display/SW/Category+Theory+Concepts

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]

quora: http://www.quora.com/Kevin-Wright

google+: http://gplus.to/thecoda

[hidden email]

twitter: @thecoda

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 https://groups.google.com/d/optout.