Eiffel

Eiffel (эйфель) — это объектно-ориентированный, кроссплатформенный, компилируемый язык программирования имеющий синтаксис на основе ключевых слов языков Алгол и Паскаль.

Официальный сайт: eiffel.org