W jaki sposób projekt .NET 4.0 według umowy porównuje się do wersji Eiffel?

Question

Miałem "przyjemność" być uczonym Eiffel na uczelni przez nikogo innego niż sam Bertrand Meyer i po prostu przeczytać, że .NET 4.0 będzie zawierać projekt na podstawie umowy.

Czy każdy, kto ma trochę wglądu, może wyjaśnić, jak potężne będzie to porównanie z istniejącym zestawem funkcji Eiffla?

Czy będą obsługiwane umowy dotyczące interfejsów?

Answer 1

Nigdy wcześniej nie użyłem Eiffela Nie mogę wypowiedzieć się na temat porównania, ale mam pomieszane z SpeC#, który ma projekt na podstawie umowy i jest to, co (w większości) jest wrzucone do C# 4.0, i mogę to powiedzieć :

Jest dość mocny.

Answer 2

Pozwala ci to określić "design-time asserts", a kompilator ostrzeże Cię, że możesz naruszyć to ograniczenie.

Here's a blog post który wyjaśnia to trochę, z łączem do wyjaśnienia szczegółowego Channel9.