.NET 4.0の契約によるデザインは、どのようにエッフェルと比較されますか？

Question

私はバートランド・メイヤー本人以外なしで大学でエッフェルを教えられる「喜び」を持っていただけで.NET 4.0が契約による設計が含まれることをお読みください。

は、いくつかの洞察力を持つ誰もが、これはエッフェルの既存の機能セットと比較されますどのように強力に手の込んだことはできますか？

インタフェースの契約はサポートされますか？

Answer 1

エッフェルを使用したことはありませんでしたが、私は比較にはコメントできませんでしたが、契約によって設計されたSpec＃を使いこなしましたが、（ほとんど）C＃4.0に巻き込まれています：

これはかなり強力です。

Answer 2

それは、「主張するデザイン時に」あなたが指定することができますし、コンパイラは、制約に違反する可能性があることを警告します。 Channel9詳細な説明へのリンクと、それを少し説明し

Here's a blog post。