我有“高兴”在大学里由 Bertrand Meyer 本人教授 Eiffel，并且刚刚读到 .NET 4.0 将包括合同设计。
任何有见识的人都可以详细说明与 Eiffel 现有功能集相比它的强大程度吗？
是否支持接口合同？
问问题
848 次
2 回答
3
没有使用过 Eiffel，我无法对比较发表评论，但我已经搞砸了 Spec#，它是按合同设计的，并且（大部分）正在被引入 C# 4.0，我可以这样说：
它非常强大。
于 2009-06-16T18:10:25.857 回答
1
它允许您指定“设计时断言”，编译器会警告您可能违反约束。
这是一篇博客文章，对其进行了一些解释，并附有 Channel9 详细解释的链接。
于 2009-06-16T18:18:32.490 回答