Вышла версия 6.4 IDE для языка Eiffel - EiffelStudio. Eiffel - это объектно-ориентированный язык, поддерживающий технологию контрактного программирования.

Основные характеристики языка и среды программирования:

• кроссплатформенная реализация - существуют версии EiffelStudio для FreeBSD, IRIX MIPS, Linux, OpenBSD, Solaris (в том числе и Solaris SPARC), Windows
• автоматическая сборка мусора
• технология "Проектирование по контракту" - предусловия, постусловия, инварианты (аналогично инструменту SPARK в языке Ada) поддерживаются непосредственно самим компилятором языка
• поддержка множественного наследования; разрешение конфликта имен (компоненты, наследованные от разных классов имеют одно и тоже имя) путем переименования конфликтующих компонентов у класса наследника; возможность выбора версии компонента при дублируемом наследовании
• обобщенное программирование
• возможность вызова функций языка C и компонентов классов C++
• Melting Ice Technology - время компиляции при внесении изменений пропорционально объему измененного кода
• статическая типизация
• байткод, полученный в результате компиляции, транслируется в эквивалентные конструкции языка C, которые затем компилируются компилятором языка C (для Linux - GCC, для Windows - MinGW или компилятор Visual Stuido) В версии 6.4 произошли следующие изменения:
• улучшена поддержка стандарта языка Eiffel
• увеличена скорость компиляции на 20%
• поддержка платформы iPhone для разработки консольных приложений (в том числе iPhone OS 3.0)
• новая версия библиотеки EiffelNet с поддержкой IPv6
• Void Safety - механизм, защищающий приложение от сбоев при разыменовывании пустого указателя ("dereferencing null pointer") Полный список изменений здесь В следующей версии 6.5 планируются следующие изменения:
• уменьшение размера компилируемых приложений
• портирование на Mac OS, подготовительные работы уже ведутся
• редактирование значений переменных в отладчике
• поддержка UTF-8 в файлах с исходным текстом

Скачать EiffelStudio 6.4 для разных платформ можно здесь.