Disseminando conhecimento e inovação em desenvolvimento de software corporativo
A Microsoft Research afirma que o Z3 é o mais rápido comprovador de teoremas do mundo. Z3 está projetado para ser uma ferramenta de baixo nível para outras aplicações. Ele é usado por inúmeros projetos incluindo Spec#/Boogie, Pex, Yogi, Vigilante, SLAM, F7, SAGE, VS3, FORMULA, e HAVOC. Com o LINQ criado por Bart De Smet, usar esta ferramenta tornou-se fácil.
Brahma é uma biblioteca C# open source que oferece suporte a computações paralelas rodando em uma variedade de processadores. Atualmente o Brahma possui um GPU provider, mas a sua estrutura modular permite a utilização de deferentes providers para outros tipos de processadores. Um método C# pode conter comandos rodando tanto na CPU quanto na GPU sem código adicional.
A versão 1.0 do provedor Linq para NHibernate foi lançado e está disponível para download junto com o NHibernate 2.1. NHibernate Linq 1.0 é um provedor LINQ baseado na API Criteria do NHibernate e suporta a maioria das operações disponíveis.
LINQ to XSD é a mais esperada continuação do LINQ to XML. Sua principal proposta é produzir modelos de objetos LINQ a partir de arquivos XSD, fornecendo aos desenvolvedores alguma moderação da checagem de tipo estático durante o acesso dos dados XML.
Mehfuz Hossain, um MVP da Microsoft, criou um provedor LINQ-to-Twitter. Este é mais um exemplo demonstrando que o LINQ não é um framework para acessar apenas dados em um banco, mas que também pode ser utilizado com qualquer tipo de objeto, inclusive tweets.
JSINQ significa JavaScript INtegrated Query, um projeto beta que implementa LINQ to Objects em JavaScript e que foi recentemente liberado no CodePlex pelo Kai Jäger. JSINQ contém 2 módulo, Enumerable e implementação de Query, System.Linq.Enumerable e System.Linq.Queryable respectivamente, permitindo enumerar arrays, listas de nós DOM ou outros objetos.
LINQPad é basicamente um interpretador LINQ com uma IDE e integração SQL em torno dele. LINQPad tem uma interface simples mas poderosa que permite a execução imediata de expressões LINQ, incluindo multi-statement trechos do LINQ to SQL, LINQ to Objects, e LINQ to XML.
A maior característica do C# 3 foi à tecnologia LINQ. Com o C# 4, parece que a tipagem dinâmica vai roubar a cena. Mas você pode usá-los juntos?
