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

============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
lectures, archives, unsubscribe, maps at http://www.friam.org

Reply via email to