.NET 4.0的合同设计与Eiffel相比如何?

kit*_*une 11 .net design-by-contract eiffel

除了Bertrand Meyer本人之外,我很高兴在大学里教埃菲尔,并且只读了.NET 4.0将包括合同设计.

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

是否支持接口合同?

Ran*_*pho 3

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

它非常强大。