摘要：去年，我们已经开始在讨论Spec#，这是一个基于C#的支持通过契约来进行设计的语言。以契约来设计是构建于诸如静态类型化这样的概念之上的，特定的动作只有在编译时被验证之后才能执行。契约通常使用前置和后置条件的形式来表示，比如一个参数或返回值永远不能为空或者只能包含某个特定范围的值。 阅读全文