Às voltas com levantamento para uma nova pesquisa, em uma área relativamente diferente, oportunamente falarei mais; esbarrei com iniciativas da Microsoft Research em projetos que não conhecia ou há muito não tinha notícias.
Junto com o IEEE/ACM, ISSA... para ficar nesses, a MR é um local conveniente para adequar idéias. Explico, eles unem terioa com prática muito rapidamente e, para quem está de fora convenientemente consumindo os resultados, de maneira fácil.
Quatro projetos que atraíram minha atenção:
Spec# é uma extensão que acrescenta a característica denominada design-by-contract ao C#.
F# é uma linguagem de script, orientada a objetos e bastante poderosa, que visa facilitar a operação de tarefas programaticamente.
LINQ é o codinome de um projeto que intenta acrescentar à linguagem C# características que possibilitem a realização, por exemplo, de queries em classes. LINQ significa Language-Integrated Query e integra a versão do Microsoft Visual Studio Code Name "Orcas".
Singularity é o mais futurista e acadêmico dos projetos aqui citados. Trata-se da construção de 'sistemas dependentes', facilitado pelo avanço de sistemas, linguagens e ferramentas. É, na verdade, um protótipo de sistema operacional cujos processos são executados de forma isolada (Software Isolated Processes - SIPs). O SO garante o isolamento (isolated object space, separate GCs, separate runtimes) sem gerar overhead ao hardware. Promete.
Vale uma visita também ao Programming Languages and Methods trata do Spec#.
Desejo oportunamente falar particularmente de cada um. Fica o registro.
