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

Некоторые особенности Ceylon:

* Статическая типизация (тип любого значения любого выражения может быть определён без исполнения программы), позволяющая выявлять ошибки на этапе компиляции, а не в процессе исполнения;
* Отсутствие специальных типов, всё реализовано в виде объектов;
* Именованные и опциональные параметры;
* Nullable-типы (кроме значений базового типа, допускается использование состояний NULL);
* Отсутствие необходимости явного указания геттеров/сеттеров (getter/setters);
* Определение типов для локальных блоков (через ключевое слово "local");
* Удобная организация работы с последовательностями (массивами);
* Реализация функций высшего порядка, аргументом или возвращаемым результатом в которых выступают другие функции;
* Использование для присвоения значений оператора ":=";
* Новый синтаксис интерполяции строк;
* Новые типы: Natural, Numeric и т.п.
* Классы, методы и атрибуты выглядят одинаково;
* Использование для определения существующих языковых концепций новых ключевых слов: shared, satisfies, assign, variable, local;
* Упрощение уровней public, protected, private access, visibility;
* Определение inline-функций в стиле Smalltalk.

http://www.opennet.ru/opennews/art.shtml?num=30225

Презентации "Введение в Ceylon" и "Система типов Ceylon": http://blog.talawah.net/2011/04/gavin-king-unviels-red-hats-top-secret.html