Haxe - Haxe

Haxe

Парадигма	Мультипарадигма
Разработчик	Фонд Haxe
Впервые появился	2005; 15 лет назад (2005)
Стабильный выпуск	4.1.4[1] / 11 сентября 2020 г.; 2 месяца назад (2020-09-11)
Печатная дисциплина	Статический, динамичный через аннотации, номинальный
Язык реализации	OCaml
Платформа	РУКА; IA-32, x86-64
Операционные системы	Android, iOS; Linux, macOS, Windows
Лицензия	GPL 2.0, библиотека: Массачусетский технологический институт
Расширения имени файла	.hx, .hxml
Интернет сайт	haxe.org
Под влиянием
EcmaScript, OCaml, Ява,

Haxe это открытый исходный код^[2] высокий уровень кросс-платформенный язык программирования и компилятор которые могут создавать приложения и исходный код для множества различных вычислительные платформы из одной кодовой базы. это бесплатное программное обеспечение с открытым исходным кодом, выпущенный под Лицензия MIT. Компилятор, написанный на OCaml, выпущен под Стандартная общественная лицензия GNU (GPL) версия 2.

Haxe включает набор функций и стандартную библиотеку^[3] поддержанный на всех платформах, подобно числовые типы данных, струны, массивы, карты, двоичный, отражение, математика, http, файловая система и общие форматы файлов. Haxe также включает API, зависящие от платформы, для каждой цели компилятора.^[4] Kha, OpenFL и Heaps.io - популярные фреймворки Haxe, которые позволяют создавать многоплатформенный контент из одной кодовой базы.^[5]

Haxe возник^[6] с идеей поддержки сторона клиента и на стороне сервера программирование на одном языке и упрощение логики общения между ними. Код, написанный на языке Haxe, можно составлен в JavaScript, C ++, Ява, JVM, PHP, C #, Python, Lua^[7] и Node.js.^[8] Haxe также может напрямую компилировать SWF, HashLink и Неко, байт-код а также работает в интерпретируемый режим.^[9]

Haxe поддерживает externs (файлы определений), которые могут содержать информацию о типах существующих библиотек для описания целевого взаимодействия безопасным для типов образом, например C ++ файлы заголовков может описать структуру существующих объектные файлы. Это позволяет использовать значения, определенные в файлах, как если бы они были статически типизированными объектами Haxe. Помимо внешних, существуют другие решения для доступа к собственным возможностям каждой платформы.

Многие популярные Иды и редакторы исходного кода имеют поддержка доступна для разработки Haxe.^[10] Haxe Foundation официально не рекомендует никакой конкретной среды разработки или набора инструментов, хотя Код VS, IntelliJ IDEA и HaxeDevelop имеют наибольшую поддержку разработки Haxe. Основные функции подсветка синтаксиса, завершение кода, рефакторинг, отладка и др. доступны в различной степени.

История

Разработка Haxe началась в октябре 2005 года. Первый бета-версия был выпущен в феврале 2006 года. Haxe 1.0 был выпущен в апреле 2006 года с поддержкой Adobe Flash, JavaScript, и Неко программы. Поддержка PHP была добавлена ​​в 2008 году, а C ++ - в 2009 году. В 2012 году после капитального ремонта компилятора было добавлено больше платформ, таких как C # и Java.

Haxe был разработан Николасом Каннассом и другими участниками и первоначально назывался haXe^[11] потому что он был коротким, простым и «имел X внутри», что, как с юмором утверждает автор, необходимо для успеха любой новой технологии.^[12]

Haxe является преемником open-source ActionScript 2 компилятор MTASC,^[13] также построен Николасом Каннассом и выпущен под Стандартная общественная лицензия GNU версия 2 или новее.

Компилятор

Язык Haxe может компилироваться в байт-код которые могут быть выполнены непосредственно виртуальные машины он нацелен. Он может компилировать исходный код в C ++, JavaScript, PHP, C #, Ява, Python и Lua. У Haxe также есть интерпретатор под названием оценка.^[14] Этот же интерпретатор также используется во время компиляции для запуска макросов, которые позволяют изменять AST.

Эта стратегия компиляции для нескольких языков исходного кода основана на напиши один раз, беги куда угодно парадигма. Это также позволяет программисту выбрать лучшую платформу для работы. Типичные программы Haxe работают одинаково на всех платформах, но разработчики могут указать код для конкретной платформы и использовать условная компиляция чтобы предотвратить его компиляцию на других платформах.

Компилятор Haxe - это оптимизирующий компилятор, и использует встраивание полей и функций, устранение хвостовой рекурсии, постоянное сворачивание, разворачивание петли и устранение мертвого кода (DCE) для оптимизации производительности скомпилированных программ во время выполнения.^[15] Компилятор Haxe предлагает подписку нулевая безопасность, он проверяет во время компиляции значения, допускающие значение NULL.

Цели

В Haxe поддерживаемые платформы известны как «цели», которые состоят из следующих модулей:

• Бэкэнды компилятора, которые отвечают за генерацию соответствующего кода.
• API-интерфейсы времени выполнения, выходящие за рамки поддержки основного языка (платформенные цели).

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

Так как Haxe версии 1.12 (2007) существовала исходная цель ActionScript 3 (для Adobe FlashPlayer), она была удалена из Haxe в версии 4.0.

Преимущества перед Haxe

• Возможность настроить таргетинг на несколько платформ и устройств с использованием одного языка
• Возможность использовать строго типизированный код
• Возможность использовать макросы (преобразование синтаксиса), что можно сделать с помощью языка Haxe^[16]
• Добавлены языковые функции, такие как методы расширения и функциональное программирование
• Производительность программ Haxe во время выполнения сопоставима со скоростью рукописных источников.^[17]

Язык

Haxe - это язык общего назначения, поддерживающий объектно-ориентированного программирования, общее программирование, и различные функциональное программирование конструкции. Такие функции, как итерации, исключения, и отражение кода также являются встроенными функциями языка и библиотек. Необычный среди языков программирования, Haxe содержит систему типов, которая одновременно сильный и динамичный. Компилятор будет проверять типы неявно, используя определение типа и выдает ошибки времени компиляции, но также позволяет программисту обойти проверку типов и полагаться на динамическую обработку типов целевой платформы. Можно использовать все собственные целевые API.

Система типов

Haxe имеет сложную и гибкую систему шрифтов. Предлагаемые типы типов: классы, интерфейсы, типы функций-методов, анонимные типы и т. Д. алгебраические типы данных (ADT, называемые перечислить в Haxe) и абстрактные типы. Параметрический полиморфизм возможно с классами, ADT и типами функций, что обеспечивает языковую поддержку для общее программирование на основе стирания шрифта. Это включает поддержку отклонение в полиморфные функции, хотя и не в конструкторы типов.

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

Модули и пространства имен

Весь код Haxe организован в модули, которые адресуются с помощью путей. По сути, каждый .hx Файл представляет собой модуль, который может содержать несколько типов. Например, для создания типа А в пакете my.pack как показано, структура папок должна быть mypack и файл может быть A.hx в папке пакет.

 // файл my / pack / A.hxупаковка мой.пакет;учебный класс А {}

В другие модули можно импортировать другие типы, поместив импорт операторы под определением пакета, например import my.pack.A;Модуль может содержать несколько типов, например следующие. Из этого модуля можно импортировать по одному типу за раз, используя import my.pack2.A;. Тип может быть частный, и в этом случае доступ к нему имеет только содержащий его модуль.

упаковка мой.pack2;typedef А = {а:Нить}частный typedef B = {б:Нить}

Классы

Классы (ключевое слово учебный класс) в Haxe аналогичны таковым в Java или TypeScript. Их поля могут быть методами, переменными или свойствами, каждое статическое или для каждого экземпляра соответственно. Haxe поддерживает аксессоры общественный и частный, и более продвинутые методы управления доступом, которые обозначаются с помощью аннотаций. Методы и статические постоянные переменные могут быть встроены с помощью ключевого слова в соответствии. Поля можно пометить как окончательный чтобы объявить константу, которая должна быть инициализирована немедленно или в конструкторе и не может быть записана в случае функции окончательный будет помечен как непереопределяемый в подклассах.

Интерфейсы в Haxe очень похожи, например, на Java.

интерфейс ICreature {    общественный вар рождение:Дата;    общественный вар имя:Нить;    общественный функция возраст():Int;}учебный класс Летать орудия ICreature {    общественный вар рождение:Дата;    общественный вар имя:Нить;	    общественный функция возраст():Int возвращаться Дата.сейчас же().getFullYear() - рождение.getFullYear();}

Дженерики

Haxe поддерживает общее программирование. Ниже приводится пример функция идентичности.

функция личность<Т>(аргумент:Т):Т {	возвращаться аргумент;}

Перечислимые типы

Перечислимые типы являются важной особенностью языка; они могут иметь параметры типа и быть рекурсивными.^[18] Они обеспечивают базовую поддержку алгебраические типы данных, позволяя включить виды продукции, аналогично Haskell и ML. А выключатель выражение может применяться сопоставление с образцом в значение перечисления, позволяющее элегантно решать сложные проблемы программирования:

перечислить Цвет {	красный;	зеленый;	синий;	rgb(р:Int, грамм:Int, б:Int);}учебный класс Цвета {	статический функция toInt(c:Цвет):Int {		возвращаться выключатель c {			дело красный: 0xFF0000;			дело зеленый: 0x00FF00;			дело синий: 0x0000FF;			дело rgb(р, грамм, б): (р << 16) | (грамм << 8) | б;		}	}	статический функция validCalls() {		вар Redint = toInt(Цвет.красный);		вар rgbint = toInt(Цвет.rgb(100, 100, 100));	}}

Примерами параметрических перечислений являются типы стандартной библиотеки Haxe Option^[19] и либо:^[20]

перечислить Вариант<Т> {    Немного(v:Т);    Никто;}перечислить Либо<L, р> {    Оставили(v:L);    Правильно(v:р);}

Haxe также поддерживает обобщенные алгебраические типы данных (ГАДЦ).^[21][22]

Анонимные типы

Анонимные типы определяются путем явного обозначения их структуры с использованием синтаксиса, который соответствует математическому представлению типа на основе записей. Их можно использовать для реализации структурной типизации аргументов функции (см. Ниже), и им можно присвоить псевдоним с ключевым словом typedef:

typedef AliasForAnon = { а:Int, б:Нить, c:Плавать->Пустота };

Типы функций

Функции - это первоклассные ценности в Haxe. Их тип обозначается стрелками между типами аргументов, а также между типом (-ами) аргумента и типом возвращаемого значения, как это часто бывает во многих функциональных языках. Однако, в отличие от ярких примеров, таких как Haskell или ML языковой семье, не все функции являются унарными функциями (функции только с одним аргументом), а в Haxe функции не могут быть частично применен по умолчанию. Таким образом, следующие сигнатуры типов имеют другую семантику, чем в вышеупомянутых языках. Тип F1 это функция, которая принимает Нить в качестве аргументов и возвращает значение типа Плавать.

Типы F1 иF2 обозначают один и тот же тип, за исключением того, что F2 использует помеченный параметр, который полезен для завершения и документирования.

Типы F4 и F5 обозначают один и тот же тип. Обе бинарные функции возвращают бинарную функцию типа F3. За F5 используется синтаксис для объявления типа функции внутри типа функции.

typedef F1 = Нить -> Плавать;typedef F2 = (текст:Нить) -> Плавать;typedef F3 = (счет: Int, текст: Строка) -> Плавать;typedef F4 = (счет: Int, текст: Строка) -> F3;typedef F5 = (счет: Int, текст: Строка) -> ((счет: Int, текст: Строка) -> Плавать);

Абстрактные типы

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

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

Абстрактные Километр(Плавать) {    общественный функция новый(v:Плавать) это = v;} Абстрактные Миля(Плавать) {    общественный функция новый(v:Плавать) это = v;    @:к общественный в соответствии функция toKilometer():Километр возвращаться (новый Километр (это / 0.62137));} учебный класс Тест {  статический вар км:Километр;  статический функция главный(){    вар one100Miles = новый Миля(100);    км = one100Miles;     след(км); // 160.935  }}

Как показывает пример, явное преобразование не требуется для присвоения "km = one100Miles;" поступать правильно.

Структурная типизация

Во многих языках функционального программирования структурная типизация играет главную роль. Haxe использует его при наличии анонимных типов, используя номинативный типизация из объектно-ориентированного программирования, когда задействованы только именованные типы. Анонимные типы в Haxe аналогичны неявным интерфейсам языка. Идти что касается набора текста. В отличие от интерфейсов Go, можно создать значение, используя анонимный тип.

учебный класс FooBar {	общественный вар фу:Int;	общественный вар бар:Нить;	общественный функция новый() {		фу = 1;		бар = "2";	}	функция anyFooBar(v:{фу:Int, бар:Нить})		след(v.фу);	статический функция тест() {		вар fb = новый FooBar();		fb.anyFooBar(fb);		fb.anyFooBar({фу: 123, бар: "456"});	}}

Внутренняя архитектура

Компилятор

Компилятор Haxe разделен на один интерфейс и несколько бэкэндов. Интерфейс создает абстрактное синтаксическое дерево (AST) из исходного кода и выполняет проверку типов, расширение макроса, и оптимизация на AST. Различные бэкенды переведите обработанный AST в исходный код или сгенерировать байт-код, в зависимости от их цели.

Компилятор написан на OCaml. Его можно запустить в серверном режиме, чтобы обеспечить завершение кода для интегрированные среды разработки (IDE) и поддерживать кеш для дальнейшего ускорения компиляции.^[23]

Конвертеры в Haxe

Чтобы использовать существующий код, сообщество Haxe создало несколько конвертеров исходного кода.

• Определения TypeScript для Haxe
• ActionScript 3 для Haxe
• PHP в Haxe
• C # в Haxe

Смотрите также

• Сравнение вариантов IDE для программистов Haxe
• Dart (язык программирования)
• Ним (язык программирования)
• Опа (язык программирования)
• Clojure
• CoffeeScript
• Машинопись
• Scala (язык программирования)
• Вала (язык программирования)
• Emscripten
• OpenFL

Рекомендации

внешняя ссылка

• Официальный веб-сайт