Цейлонский (язык программирования)
- Ceylon — объектно-ориентированный, строго статически типизированный язык программирования с акцентом на неизменяемость.
- Программы Ceylon запускаются на виртуальной машине Java (JVM) и могут быть скомпилированы на JavaScript.
- При разработке языка основное внимание уделяется удобочитаемости исходного кода, предсказуемости, инструментальности, модульности и метапрограммируемости.
- Важными особенностями Цейлона являются система типов, обеспечивающая безопасность null и существование элемента списка во время компиляции.
- Ceylon отказывается от примитивных типов Java и бокса в пользу системы типов, полностью состоящей из первоклассных объектов.
- Ceylon допускает типы объединения и пересечения, аналогичные TypeScript, Whiley и Flow.
- Типы объединения и пересечения используются для обеспечения нулевой безопасности.
- Ceylon поддерживает функции первого класса и функции более высокого порядка, включая типы функций и анонимные функции.
- Ceylon строго и статически типизирован, но также поддерживает вывод типов.
Полный текст статьи: