¿La especificación # es lo suficientemente estable como para usarla? [cerrado]

Question

¿Alguien aquí usa Spec # regularmente? Me gustaría saber si es lo suficientemente estable y potente antes de comenzar a usarlo en todas partes. Parece que la sintaxis está influyendo en c # 4.0, lo que con suerte facilitará la actualización una vez que se lance 4.0. Pensamientos?

Answer 1

Supongo que depende de lo que quieras decir con "estable". Hay dos posibles interpretaciones:

1. " no se bloquea "
2. " no cambia "

No sé acerca del # 1, pero si te refieres al # 2, entonces, bueno, Spec # se ha abandonado y ya no se está desarrollando, por lo que probablemente sea tan estable como pueda ser.

Las técnicas y herramientas que se utilizaron en Spec # (la herramienta de análisis estático llamada Boogie y el probador de teoremas / solucionador de restricciones Z3 ) ahora forman parte de una nueva biblioteca llamada Contratos de código para .NET . El resultado de ser una biblioteca es que Code Contracts funcionará para any lenguaje .NET: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, lo que sea. La desventaja es que no obtienes integración de idioma, por lo que no hay una buena sintaxis para los contratos.

Los contratos de código para .NET serán parte de .NET 4.0 / Visual Studio 2010, pero desafortunadamente no habrá soporte de DbC en ninguno de los idiomas de Microsoft.