Win for Type Theory?
LINQ, the name of the in-language SQL/XML/etc. query ability that will be built in to C# 3.0 is based upon a programming language technology known as monads, which are an important part of the programming language Haskell. Here is an interesting article on why it is neat, and why Java programmers should be worried (okay, I'm not to sure about that part).
Just nice to see some type theory escape to the larger world of popular programming languages.