Contratos de código, ¿los usará?

Question

Microsoft acaba de lanzar Code Contracts, una herramienta que se integra con Visual Studio y le permite definir contratos para su código .Net y obtener el tiempo de ejecución y comprobando el tiempo de compilación.

Mire el video on Channel 9 que muestra cómo se usa.

Por ahora es un add-on pero va a ser parte de la Biblioteca de clases base en .Net 4.0

¿Es esto algo que se ve a sí mismo usando?

Me pregunto si esto significa la muerte de Spec#?

actualización

Lo que quiero decir por la muerte de SpeC# es que ahora tenemos 2 proyectos diferentes para los contratos de escritura:
SpeC# es una evolución de C# y que introduce nuevas palabras clave y los comportamientos; por otro lado, lo que Microsoft acaba de lanzar es una biblioteca que se puede usar con cualquier lenguaje .Net.
Dado que este último parece que se convertirá en el estándar de facto, me pregunto dónde queda eso SpeC#

Answer 1

Creo que la mayoría de los desarrolladores que usen C# 4.0 los usarán yo mismo, especialmente cuando creo una biblioteca que planea exponer a alguien. Puede hacer que su código sea más detallado en áreas, pero las ventajas que tiene deben superar las líneas de código y el tiempo empleado.

Answer 2

¿Qué quiere decir la muerte de SpeC#? Es la próxima evolución de SpeC#.

Y, sí, planeo usarlas.

Answer 3

Para ser sincero, no tenía idea de lo que eran hasta que vi su pregunta. No veo la aplicabilidad a mi organización, por lo que probablemente no los usemos.