This page is no longer maintained — Please continue to the home page at www.scala-lang.org

New section for category theory on the Scala Wiki

1 reply
Kevin Wright 2
Joined: 2010-05-30,
User offline. Last seen 26 weeks 4 days ago.

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: kevin [dot] wright [at] scalatechnology [dot] com
gtalk / msn : kev [dot] lee [dot] wright [at] gmail [dot] com quora: http://www.quora.com/Kevin-Wrightgoogle+: http://gplus.to/thecoda
kev [dot] lee [dot] wright [at] gmail [dot] com twitter: @thecoda
vibe / skype: kev.lee.wrightsteam: 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
onof
Joined: 2010-08-05,
User offline. Last seen 2 years 10 weeks ago.
Re: New section for category theory on the Scala Wiki

+1 It will be very useful, especially for my as I'm learning scalaz :)

BTW, there is a typo: >>= should be replaced by >=>, isn't it?

onof

On Sep 14, 10:30 am, Kevin Wright 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: kevin [dot] wri [dot] [dot] [dot] [at] scalatechnology [dot] com
> gtalk / msn : kev [dot] lee [dot] wri [dot] [dot] [dot] [at] gmail [dot] com
> quora:http://www.quora.com/Kevin-Wright
> google+:http://gplus.to/thecoda
>
> 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

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland