Spec # è abbastanza stabile da usare? [chiuso]

Question

Qualcuno qui usa Spec # regolarmente? Vorrei sapere se è abbastanza stabile e potente prima di iniziare a usarlo ovunque. Sembra che la sintassi stia influenzando c # 4.0, che si spera renderà più semplice l'aggiornamento dopo il rilascio di 4.0. Pensieri?

Answer 1

Immagino che dipenda da cosa intendi per "stabile". Esistono due possibili interpretazioni:

1. " non andare in crash "
2. " non modificando "

Non conosco il n. 1, ma se intendi il n. 2, allora, beh, Spec # è stato abbandonato e non è più in fase di sviluppo, quindi è probabilmente stabile come lo otterrai.

Le tecniche e gli strumenti utilizzati in Spec # (lo strumento di analisi statica chiamato Boogie e il teorema prover / risolutore di vincoli Z3 ) ora fanno parte di una nuova libreria chiamata Contratti di codice per .NET . Il risultato di essere una libreria è che Code Contracts funzionerà per qualsiasi linguaggio .NET: C #, VB.NET, F #, Ruby, Python, JavaScript, Lisp, Smalltalk, Boo, lo chiami. Il rovescio della medaglia è che non ottieni integrazione linguistica, quindi nessuna bella sintassi per i contratti.

I contratti di codice per .NET faranno parte di .NET 4.0 / Visual Studio 2010, ma sfortunatamente non ci sarà supporto DbC in nessuna delle lingue di Microsoft.