Re: New section for category theory on the Scala Wiki

--001a1148d1c4d841a90548ac7a5a
Content-Type: text/plain; charset=UTF-8

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.

Thanks,
-Vlad

On Wed, Sep 14, 2011 at 1:30 AM, Kevin Wright <[email protected]>
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: [email protected]
> gtalk / msn : [email protected]
> quora: http://www.quora.com/Kevin-Wright
> google+: http://gplus.to/thecoda
> <[email protected]>
> 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 [email protected].
For more options, visit https://groups.google.com/d/optout.

--001a1148d1c4d841a90548ac7a5a
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Somehow bumped into it, 5+ years later.<div><br></div><div=
>A short clarification note. There is no such thing as &quot;Kleisli Monad&=
quot;.</div><div>Namely, monads were known in the old days as &quot;Kleisli=
 Triples&quot; (Kleisli introduced this term, as far as I know). Later a &q=
uot;new&quot; term, &quot;monad&quot;, replaced it.</div></div><div class=
=3D"gmail_extra"><br clear=3D"all"><div><div class=3D"gmail_signature" data=
-smartmail=3D"gmail_signature">Thanks,<br>-Vlad</div></div>
<br><div class=3D"gmail_quote">On Wed, Sep 14, 2011 at 1:30 AM, Kevin Wrigh=
t <span dir=3D"ltr">&lt;<a href=3D"mailto:[email protected]" target=
=3D"_blank">[email protected]</a>&gt;</span> wrote:<br><blockquote c=
lass=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;=
padding-left:1ex"><div><br></div>Find it here:<div><br></div><div><a href=
=3D"https://wiki.scala-lang.org/display/SW/Category+Theory+Concepts" target=
=3D"_blank">https://wiki.scala-lang.org/<wbr>display/SW/Category+Theory+<wb=
r>Concepts</a></div><div><br></div><div>The only thing currently in there i=
s a brief use-case for the Kleisli Monad (shamelessly stolen from an email =
by Chris Marshall).=C2=A0 I just wanted to get the ball rolling and give pe=
ople a place to build out from.</div><span class=3D"HOEnZb"><font color=3D"=
#888888">
<div><br></div><div><br></div><div><br clear=3D"all"><div><br></div>-- <br>=
Kevin Wright<br>mail:=C2=A0<a href=3D"mailto:[email protected]=
om" target=3D"_blank">kevin.wright@<wbr>scalatechnology.com</a><br>gtalk / =
msn : <a href=3D"mailto:[email protected]" target=3D"_blank">kev.lee=
[email protected]</a><div>
<div><div>quora:=C2=A0<a href=3D"http://www.quora.com/Kevin-Wright" target=
=3D"_blank">http://www.quora.com/<wbr>Kevin-Wright</a></div>google+:=C2=A0<=
a href=3D"http://gplus.to/thecoda" target=3D"_blank">http://gplus.to/<wbr>t=
hecoda</a><br><div><a href=3D"mailto:[email protected]" target=3D"_b=
lank"></a></div>
<div>twitter: @thecoda<br></div></div><div>vibe / skype: kev.lee.wright</di=
v><div>steam: kev_lee_wright</div><div><br></div><div><font face=3D"tahoma,=
 sans-serif" color=3D"#666666"><span style=3D"line-height:22px"><span style=
=3D"line-height:normal">&quot;My point today is that, if we wish to count l=
ines of code, we should not regard them as &quot;lines produced&quot; but a=
s &quot;lines spent&quot;: the current conventional wisdom is so foolish as=
 to book that count on the wrong side of the ledger&quot; ~ Dijkstra</span>=
</span></font></div>
</div><br>
</div>
</font></span></blockquote></div><br></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;scala-language&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]">scal=
[email protected]</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--001a1148d1c4d841a90548ac7a5a--