É Spec # estável o suficiente para usar? [fechadas]

Question

Alguém aqui usam Spec # regularmente? Eu gostaria de saber se ele é estável e bastante poderosa antes de eu começar a usá-lo em todos os lugares. Parece que a sintaxe está influenciando c # 4.0, que esperamos tornar mais fácil para atualizar uma vez 4.0 é liberado. Pensamentos?

Answer 1

Eu acho que depende do que você entende por "estável". Há duas interpretações possíveis:

1. "não bater"
2. "não mudar"

Eu não sei sobre # 1, mas se você quer dizer # 2, então, bem, Spec # foi abandonado e não está mais sendo desenvolvido, de modo que é provavelmente tão estável quanto você vai conseguir.

As técnicas e ferramentas que foram usadas na Spec # (a ferramenta de análise estática chamada Boogie eo teoremas / restrição solver Z3 ) agora fazem parte de uma nova biblioteca chamada Contratos de código para .NET . O resultado de ser uma biblioteca é que contratos de código irá trabalhar para qualquer linguagem .NET: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, o nome dele. A desvantagem é que você não obter integração de linguagem, de modo nenhum agradável sintaxe para contratos.

contratos de código para .NET será parte do .NET 4.0 / Visual Studio 2010, mas, infelizmente, não haverá suporte DbC em qualquer das línguas da Microsoft.