[FRIAM] Category theory - Wikipedia, the free encyclopedia

[Marcus G. Daniels]

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