Ява, Скала, Цейлон: Эволюция в чашке Петри JVM

Цейлон — чудесный новый язык JVM от Гэвина Кинга, создателя Hibernate. Он входит в многолюдное поле — с тех пор, как новаторский язык Scala Мартина Одерского продемонстрировал возможность для языков, не являющихся Java, нацеливаться на байт-код JVM, языковая сцена на основе JVM приобрела профиль роста неочищенного яичного микроволокна за пять минут на HIGH.

Теперь у нас есть Kotlin, Clojure, Groovy, Jython, JRuby, Mirah, Gosu, Fantom, Frege, Haxe и длинный конечный континуум более неясных языков на основе JVM на разных стадиях завершенности после этого. Даже сама Java теперь содержит в себе полный движок JavaScript, который является реальным криком для тех, кто может вспомнить раннюю борьбу JavaScript за уважение как реальный язык, когда такие термины, как «Turing Complete», не были Googleable (они были только AltaVistable). и StackOverflow еще не кешировал ответ почти на все, что вы можете осмелиться задавать (а затем закрыл вопрос как неконструктивный).

Но из этого многолюдного поля JVM, Ceylon выделяется как исключительно хорошо сделанный, элегантный и, вероятно, преуспевающий в нише «перспективного Java-разработчика», в которой сейчас доминирует Scala, и, более того, акцент Ceylon на инструментах, продуктивности команды и удобочитаемости означает, что он вполне может занять и часть основного рынка Java.

Конечно, многие языки JVM даже не конкурируют в одном пространстве; они были разработаны с другой аудиторией и целью. Например, многие не заботятся о безопасности типов, некоторые отказываются от производительности в пользу подхода интерпретатора, а некоторые отдают предпочтение обратной совместимости с синтаксисом Java, действуя скорее как расширение языка (и принимая весь свой унаследованный багаж за ездить). Интересно, что Fantom и Groovy пытаются найти что-то среднее между безопасностью типов и типизацией утки с помощью дополнительной типизации.

Как только эти Java-неконкуренты будут удалены, а также все те, которые все еще находятся в состоянии выпуска до 1.0, у нас останутся Java 8, Scala, Kotlin (технически пока не совсем на 1.0, но очень близко), Gosu, и Цейлон работает в аналогичном пространстве. Давайте посмотрим, что делает Цейлон особенным.

Все современные конструкции

Во-первых, анте, которую можно даже рассматривать в этой статье как новый язык в пространстве Java — у Цейлона, конечно, есть безопасность типов, замыкания, обобщения, вывод типов (что не обязательно нужно, но, безусловно, приятно), автоматические методы получения / установки сеттеров, подобные свойствам, и какое-то взаимодействие с Java для подключения к обширной существующей инфраструктуре Java. (Сама Java получает бесплатный почетный проход здесь, хотя она ограничена некоторыми из этих базовых требований).

Цейлон серьезно относится к упаковке

Система модулей Ceylon автоматически генерирует и встраивает файлы pom.xml для управления зависимостями в стиле Maven и извлечения, а также манифеста OSGI для детального контроля того, где они видны — если вам когда-либо понадобились две разные версии одна банка для разных частей вашего приложения, вы оцените это. Затем репозиторий Ceylon’s Herd предоставляет все необходимые зависимости не только во время компиляции, но и во время выполнения (напоминает систему Grape для Groovy).

Типобезопасное метапрограммирование

Вау. Я не знаю , какой — либо другой язык , который имеет это.

Вот что меня всегда раздражало в Java: если бы я хотел сослаться на имя метода или поля, то для этого не было бы способа, проверенного компилятором. Например, если я пишу HQL Hibernate-запрос для поиска фильмов, созданных в 1975 году, я мог бы написать «выбрать из фильмов, где год = 1975», но все обещания безопасности Java во время компиляции просто вышли из окна, потому что когда я переименуйте мое поле «year» в «releaseYear», ничто в компиляторе не напомнит мне также изменить этот запрос.

Даже API Criteria, несмотря на все его проблемы, меня здесь не спасает, потому что в конечном итоге он все же сводится к непроверенной строке в определении критерия. Как насчет отражения? Нет, я, конечно, могу использовать отражение для получения экземпляра Method (или в Scala я даже могу получить экземпляр MethodSymbol из AST), но вот кикер: чтобы получить ссылку на этот объект, мне все равно нужно передать строку указание, на какой метод я бы хотел сослаться, что возвращает меня к исходной точке!

В качестве обходного пути вы можете запустить любой из нескольких препроцессоров аннотаций JPA, чтобы сгенерировать статический класс метамодели из ваших доменных объектов, на которые вы затем сможете ссылаться в своем коде проверенным компилятором способом в последующей сборке. Это ужасно, но это лучшее, что вы можете сделать на Java.

До недавнего времени Scala предлагал очень мало собственных рефлексивных возможностей, помимо того, что предоставляет Java, но в последнее время они начали заполнять свои API отражения в выпусках 2.10 и 2.11. Они также представили экспериментальный API предварительной обработки макросов, но, как я вижу, описанный мной вариант использования по-прежнему невозможен (хотя вам может понравиться читать о многих случаях использования символа _, когда вы ищете способ сделать это). Это). Kotlin и Gosu также не могут этого сделать (однако Kotlin объявил о лучшей поддержке метапрограммирования в качестве будущей цели).

Без лишних слов, вот пример, демонстрирующий, как это сделать в текущей версии 1.1 Ceylon:

class Movie (shared Integer year) {}

shared void run() {
    value d = `value Movie.year`;
    print( d.name); //prints "year"
}

//convenient shorthand way to declare a Nullable type by following it with a question mark
YourTypeHere?

//the above is just syntax sugar for this
YourTypeHere|Null

print( 2.plus(3) ); //prints 5

// a regular, directly referenced value
Integer i = 5;
print(i.string); //prints 5

// this value uses a getter/setter, with a backing variable to hold its state.
variable Integer jstate = 5;
Integer j {
    return jstate * 2;
}
assign j {
    jstate = j-1;
}
j = 5;
print(j.string); //prints 8