Без заголовка

В целом согласен -- хотя контрактное программирование на Яве поддержано сбоку отдельным инструментом, а в eiffel -- непосредственно. Но это мелочи. Действительно, с языком связаны какие-то психологические ожидания. Скажем, на смоллтоке все смело пробуют нестандартные пользовательские интерфейсы. А в других языках -- воздерживаются от этого, хотя могли бы :)