6

Spec# を定期的に使用している人はいますか? どこでも使い始める前に、安定して十分に強力かどうかを知りたい. 構文が c# 4.0 に影響しているようです。4.0 がリリースされたら、アップグレードが容易になることを願っています。考え？

4

1 に答える 1

11

「安定」の意味にもよると思います。考えられる解釈は 2 つあります。

  1. 「クラッシュしない」
  2. 「変わらない」

#1 についてはわかりませんが、#2 のことを意味する場合は、スペック #は放棄されて開発されていないため、おそらく安定しています。

Spec#で使用されていた手法とツール( Boogieと呼ばれる静的解析ツールと定理証明/制約ソルバーZ3 ) は、 Code Contracts for .NETと呼ばれる新しいライブラリの一部になりました。ライブラリであることの結果は、コード コントラクトが任意の.NET 言語 (C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo など) で機能することです。欠点は、言語が統合されていないため、コントラクトの適切な構文がないことです。

.NET のコード コントラクトは .NET 4.0 / Visual Studio 2010 の一部になりますが、残念ながら Microsoft のどの言語でも DbC はサポートされません。

于 2009-01-12T23:40:14.883 に答える