Category theory - Wikipedia, the free encyclopedia

Posted by Marcus G. Daniels on Feb 10, 2007; 10:22pm
URL: http://friam.383.s1.nabble.com/Category-theory-Wikipedia-the-free-encyclopedia-tp523500p523501.html

Owen Densmore wrote:
> We've knocked around the term Category Theory a bit lately, so I  
> started looking into it a bit.
With Language Integrated Query (LINQ), Microsoft has brought monads,
closures, and type inference to the upcoming Visual Studio (Orcas).  
They seem to have a good chunk of the functional programming brain trust
at MSR, and now its diffusing to their products..

http://blogs.msdn.com/charlie/archive/2007/01/26/anders-hejlsberg-on-linq-and-functional-programming.aspx
http://msdn2.microsoft.com/en-us/netframework/aa904594.aspx
http://www.microsoft.com/downloads/details.aspx?familyid=1ff0b35d-0c4a-40b4-915a-5331e11c39e6&displaylang=en

http://en.wikipedia.org/wiki/Monad_(category_theory)
http://en.wikipedia.org/wiki/Monads_in_functional_programming