Вышел первый стабильный релиз языка Crystal. Синтаксис Crystal схож с Ruby, что делает язык легким для чтения и записи и снижает кривую обучения для опытных разработчиков.
Подробнее о Cristal
Crystal – это объектно-ориентированный язык программирования общего назначения, разработанный Ари Боренсвейгом, Хуаном Вайнерманом, Брайаном Кардиффом и другими участниками проекта. Синтаксис Crystal вдохновлен языком Ruby.
Crystal – скомпилированный язык со статической проверкой типов. Язык не требует указывать типы переменных или аргументов метода, так как они определяются с помощью расширенного алгоритма вывода глобального типа.
Crystal компилируется в эффективный код с использованием серверной части LLVM за счет исключения динамических аспектов Ruby. Расширенный вывод глобального типа в сочетании с использованием объединения типов делает Crystal языком сценариев более высокого уровня, чем схожие языки программирования. Язык имеет автоматизированную сборку мусора и использует сборщик Boehm.
История
Работа над языком началась в июне 2011 года аргентинской компанией Manas Technology Solutions. Главной целью было объединить элегантность и производительность Ruby со скоростью, эффективностью и безопасностью типов компилируемого языка. Изначально его назвали Joy, но вскоре переименовали в Crystal.
Первая официальная версия была выпущена в июне 2014 года. В июле 2016 года Crystal вошел в индекс TIOBE.
Релиз Crystal 1.0 можно найти на GitHub, а инструкции по установке и примечания к выпуску на официальном сайте. Создатели Crystal планируют выпускать отладочные релизы с исправлением ошибок, а новые функции зарезервированы для последующих второстепенных выпусков.
Некоторые функции в Crystal 1.0 называются «предварительными» и еще не поддерживаются официально, включая поддержку Windows, многопоточность и поддержку Arm.
Особенности Crystal 1.0
- Статическая проверка типа позволяет компилятору обнаруживать ошибки, чтобы они не возникали во время выполнения.
- Встроенный вывод типов устраняет необходимость в большинстве аннотаций.
- Специальный синтаксис для вызова собственных библиотек избавляет от необходимости повторно реализовывать низкоуровневые задачи.
- Компилятор автоматически проверяет наличие пустых ссылок во время компиляции.
- Для параллелизма Crystal использует потоки, называемые волокнами, для связи друг с другом без использования общей памяти или блокировок.
- Библиотеки упакованы как Shards и распространяются через Git. Встроенные команды позволяют указывать зависимости через файл YAML и извлекать их из соответствующих репозиториев.
- Макросистема, состоящая из методов, которые получают узлы AST во время компиляции и создают код, служит ответом Crystal на метапрограммирование.
- Все типы в Crystal не допускают обнуления. Переменные, допускающие обнуление, представлены как объединение между типом и нулем. Как следствие, компилятор автоматически проверяет наличие нулевых ссылок во время компиляции.
Языковая стабильность
Создатели языка обещают, что все выпуски Crystal 1.x будут обратно совместимы без критических изменений. Стандартная библиотека будет улучшена с учетом обратной совместимости.
Чтобы повысить предсказуемость проекта, разработчики планируют выпускать отладочные версии в виде исправлений. Например, первый выпуск обслуживания – 1.0.1. Он будет включать только исправления существующих функций.
Новые функции будут зарезервированы для следующих второстепенных выпусков: 1.x.