gpt4 book ai didi

c#-4.0 - Spec# 是否足够稳定以使用?

转载 作者:行者123 更新时间:2023-12-04 13:56:14 25 4
gpt4 key购买 nike

这个问题不太可能对 future 的访客有帮助;它只与一个小的地理区域、一个特定的时间点或一个非常狭窄的情况相关,通常不适用于互联网的全局受众。如需帮助使这个问题更广泛适用,visit the help center .




8年前关闭。




这里有人经常使用 Spec# 吗?在我开始在任何地方使用它之前,我想知道它是否足够稳定和强大。
看起来语法正在影响 c# 4.0,这有望在 4.0 发布后更容易升级。想法?

最佳答案

我想这取决于你所说的“稳定”是什么意思。有两种可能的解释:

  • “不崩溃”
  • “不变”

  • 我不知道#1,但如果你的意思是#2,那么,好吧, Spec#已经被放弃并且不再被开发,所以这可能和你得到的一样稳定。

    Spec# 中使用的技术和工具(名为 Boogie 的静态分析工具和定理证明器/约束求解器 Z3)现在是名为 Code Contracts for .NET 的新库的一部分。 .作为一个库的结果是代码契约适用于任何 .NET 语言:C#、VB.NET、F#、Ruby、Python、JavaScript、Lisp、Smalltalk、Boo,你能想到的。缺点是你没有语言集成,所以没有很好的契约(Contract)语法。

    .NET 的代码契约将成为 .NET 4.0/Visual Studio 2010 的一部分,但不幸的是,微软的任何语言都不会提供 DbC 支持。

    关于c#-4.0 - Spec# 是否足够稳定以使用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/437383/

    25 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com