Гм. Вроде обычный OOП язык который ещё и в Си компилится. Правда с GC
Не обычный, а, пожалуй, самый продвинутый статически-типизированный ООЯ. Один из немногих с полноценной поддержкой множественного наследования. Может быть даже единственный такой.
Плюс к тому, это язык, который не приспособлен к "фигак-фигак-и-в-продакшен" от слова совсем. ХЗ как у Мейера это получилось, но писать на Eiffel наспех не получается в принципе.
А главная его проблема (кроме стоимости для коммерческой разработки) — это религия святого Eiffel с единственным пророком. Трудно объяснить, но когда пытаешься приобщиться к миру Eiffel, то возникает ощущение, что общаешься с сектантами, для которых все, что в Eiffel хорошо и правильно, а остальное есть ересь от лукавого :)