Цейлон 1.0.0 Выпущен

Цейлон-это современный, модульный, статически типизированный язык программирования для виртуальных машин Java и JavaScript. Теперь доступен первый производственный выпуск спецификации цейлонского языка, компилятора и IDE.

Цейлон — это язык, предназначенный для написания больших программ в командах. Он является производным от C и впервые был анонсирован миру на QCon в Пекине в апреле 2011 года.

Он возник как язык с открытым исходным кодом, поддерживаемый RedHat, и достиг первого из пяти этапов, которые он должен был пройти на пути к версии 1.0 в декабре 2011 года. Версия 1.0 была выпущена в сентябре 2013 года, и теперь, менее чем через два месяца, Цейлон 1.0.0 официально доступен для загрузки

Согласно объявлению о запуске его создателя Гэвина Кинга, релиз включает в себя:

полная спецификация формального языка, которая определяет синтаксис и семантику Цейлона на языке, доступном профессиональному разработчику

набор инструментов командной строки, включающий компиляторы для Java и JavaScript, компилятор документации и поддержку выполнения модульных программ на JVM и Node.js

языковой модуль

цейлонский SDK

интегрированная среда разработки на основе Eclipse

Цейлон был разработан, чтобы быть очень понятным объектно-ориентированным языком со статической типизацией. К его особенностям, опять же, согласно сообщению в блоге Гэвина Кинга, относятся:

акцент на удобочитаемость и сильный уклон в сторону опущения или устранения потенциально вредных конструкций

чрезвычайно мощная система типов, сочетающая подтип и параметрический полиморфизм с дисперсией сайта объявления, включая первоклассные типы объединения и пересечения, а также использование основных типов для вывода локальных типов и типизации, зависящей от потока

уникальная обработка типов функций и кортежей, позволяющая создавать мощные абстракции

первоклассные конструкции для определения модулей и зависимостей между модулями

очень гибкий синтаксис, включающий понимание и поддержку выражения древовидных структур

полностью овеществленные универсальные типы как на виртуальных машинах JVM, так и на JavaScript, а также уникальная метамодель, безопасная для типов.