.net - .NET 4.0 的契约设计与 Eiffel 相比如何?

标签 .net design-by-contract eiffel

我很“高兴”在大学里由 Bertrand Meyer 本人教授 Eiffel,并且刚刚读到 .NET 4.0 将包括契约(Contract)设计。

任何有洞察力的人都可以详细说明与 Eiffel 现有的功能集相比,它的功能有多强大吗?

是否支持接口(interface)合约?

最佳答案

我没有使用过 Eiffel,无法对比较进行评论,但我已经搞乱了 Spec#,它是按契约(Contract)设计的,并且(大部分)被纳入 C# 4.0,我可以这样说:

这真是太强大了。

关于.net - .NET 4.0 的契约设计与 Eiffel 相比如何?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1003049/

相关文章:

eiffel - 学习 Eiffel 的心得

agent - 从内联代理访问局部变量

C# 对象引用未设置为对象的实例

ios - 在 Swift 中按契约(Contract)设计

c# - 在 CellTemplate 中为 ListView 创建触发器? (一般与模板混淆)

c# - 使用代码契约(Contract)确保集合保持不变

java - 按契约设计和类不变量

algorithm - 摊销的复杂性

java - 通过在 .NET 中设置 sendStringParametersAsUnicode =false 来提高 SQL 性能

c# - 定时信号量