Spec#

Alguém já ouviu falar em Spec#? Essa linguagem foi construída durante o desenvolvimento do sistema operacional singularity da Microsoft, esse sistema foi desenvolvido somente para testes e desenvolvimento de novas tecnologias e aprimoramento de compiladores. Tal linguagem contem recursos interessantes para que o compilador cheque em tempo de execução e de compilação erros comuns de programação.

A Spec# é um superconjunto de C#, isto é, espande os recursos da linguagem C# 2.0 adicionando a ela novas estruturas para construir estruturas orientadas a contrato. Um pequeno exemplo segue abaixo:

...

public int Dividir(int a, int b)

requires b > 0 otherwise ArgumentException;

{

return a / b;

}

...

Agora é esperar que eles encorporem esses recursos da Spec# dentro da C# 4.0 que está a caminho... heheh...