Языки программирования, трансляторы и компиляторы - Ceylon

Ceylon - это язык программирования, разрабатываемый компанией RedHat, предназначенный для написания бизнес-приложений и претендующий на роль замены Java. Пакет включает в себя компилятор, документацию к компилятору, языковой модуль и рантайм.

Ceylon предназначен для выполнения в стандартной виртуальной машине JVM, использует статическую типизацию, поддерживает функции высшего порядка, спроектирован с оглядкой на простоту изучения и лёгкость восприятия кода.
Возможности языка:

• примитивные типы JVM являются простыми классами в Ceylon;
• вывод типов и вывод типов аргументов базируемый на анализе основных типов;
• упрощено определение классов: удалены геттеры, сеттеры и конструкторы;
• опциональные параметры со значениями по умолчанию;
• именованные аргументы и "object builder" синтаксис;
• типы пересечения (intersection types), типы объединения (union types) и фундаментальные типы (bottom types);
• статическая проверка null-значений и пустых последовательностей;
• ковариантность и контравариантность в декларациях вместо wildcard типов;
• более элегантный синтаксис для ограничений типов (type constraints);
• top-level функции и декларация значений вместо статических членов вложенных функций;
• иммутабельность по умолчанию.

Сайт разработчика: http://ceylon-lang.org/
Что почитать?

• Компания Red Hat представила язык программирования Ceylon, призванный заменить Java
• Первый релиз развиваемого компанией Red Hat языка программирования Ceylon
• Появился новый язык программирования, который со временем может заменить Java