Как дизайн .NET 4.0 по контракту сравнивается с Eiffel?

Question

Мне доставило «удовольствие» учить Эйфелу в колледже не кто иной, как сам Бертран Мейер, и просто прочитал, что .NET 4.0 будет включать проектирование по контракту.

Может кто-нибудь с какой-то проницательностью уточнить, насколько мощным это будет по сравнению с существующим набором функций Eiffel?

Будут ли поддерживаться контракты на интерфейсы?

Answer 1

Даже не используя Eiffel, я не могу комментировать сравнение, но я возился с Spec #, который имеет дизайн по контракту и что (в основном) внедряется в C # 4.0, и я могу сказать следующее:

Это чертовски сильно.

Answer 2

Это позволяет вам указать «утверждения времени разработки», и компилятор предупредит вас, что вы можете нарушить ограничение.

Вот запись в блоге , которая немного ее объясняет, со ссылкой на подробное объяснение Channel 9.