Издаване на езика за програмиране Haxe 4.0

На разположение издание на инструментариум Haxe 4.0, който включва едноименния мултипарадигмен език за програмиране на високо ниво със силно типизиране, крос-компилатор и стандартна библиотека от функции. Проектът поддържа превод на C++, HashLink/C, JavaScript, C#, Java, PHP, Python и Lua, както и компилация на JVM, HashLink/JIT, Flash и Neko байт код, с достъп до собствените възможности на всяка целева платформа. Код на компилатор разпространява се от под лиценз GPLv2 и стандартна библиотека и виртуална машина, разработени за Haxe Neko под лиценза на MIT.

Езикът е ориентирани към изразяване със силно писане. Поддържат се концепции за обектно-ориентирано, общо и функционално програмиране.
Синтаксисът на Haxe е близък до ECMAScript и разширява се неговите характеристики като статично въвеждане, извод за автотип, съпоставяне на шаблони, генерични продукти, базирани на итератор цикли for, AST макроси, GADT (обобщени алгебрични типове данни), абстрактни типове, анонимни структури, опростени дефиниции на масиви, изрази за условна компилация, прикачване на метаданни към полета , класове и изрази, интерполация на низове ('My name is $name'), параметри на типа ("new Main‹String›('foo')") и много повече.

клас Тест {
статична функция main() {
var хора = [
"Елизабет" => "Програмиране",
"Джоел" => "Дизайн"
];

за (име в people.keys()) {
var job = хора[име];
trace('$name си изкарва $работата!');
}
}
}

Основната иновации версия 4.0:

• Нов синтаксис за указване на тип функция "(име:Низ, възраст:Int)->Bool" или "(String, Int)->Bool" вместо "String->Int->Bool".
• Синтаксисът на функцията със стрелка е "(a, b) -> a + b" вместо "функция (a, b) връща a + b".
• Защита срещу проблеми, свързани с използването на нулеви стойности (експериментална функция, активирана по избор за определени полета, класове или пакети).
• Ключовата дума "final" е за полета на клас и локални променливи, които са неизменни. "final" може също да се използва за дефиниране на функции, за да се предотврати отмяната им чрез наследяване и за класове/интерфейси, които не могат да бъдат наследени.
• Подкрепа Unicode стандарт за основния тип "String" за всички цели на компилация с изключение на Neko.
• Вграден интерпретатор, пренаписан от нулата, който сега идва под името Евал. Благодарение на новия интерпретатор, скриптовете и макросите работят много по-бързо. Поддържа се интерактивен режим за отстраняване на грешки.
• Нова целева система за компилация (target) Хешлинк - високопроизводителна среда за изпълнение, проектирана специално за Haxe, поддържаща компилация до байт код за JIT или C, има лесна интеграция с C, както и достъп до цифрови типове и указатели на ниско ниво.
• Нова JVM цел - позволява ви да генерирате jvm байт код, като прескочите стъпката за компилиране на Java код, като добавите флага "-D jvm", когато насочвате в Java.
• Възможността за вградено внедряване в точката на извикване на функции или конструктори, дори ако не са декларирани като такива.
• Възможност за включване статични разширения когато декларирате тип (като "enum") с помощта на "@:using(path.ToExtension)".
• Абстрактните типове вече поддържат "set" версия на оператора "@:op(a.b)" за презареждане на изрази "obj.foo = bar".
• Синтаксисът на цикъла "for" вече поддържа итерация на ключ-стойност: "for (ключ => стойност в колекция) {}".
• Поддръжка за използване на xml-подобно маркиране в изрази: „var a = ‹hi/›;“. Засега тази функция е достъпна само за анализиране с макроси и е на етап проектиране.
• Синтаксисът за незадължителни полета в „пълната“ нотация на анонимни структурни типове е: „{ var ?f:Int; }" (алтернатива на краткото „{ ?f:Int }").
• Стойностите на Enum вече могат да бъдат стойности по подразбиране за аргументи на функцията: "функция foo‹T›(option:Option‹T› = None)".
• Синтаксисът "enum abstract Name(BasicType) {}" вече не изисква префикса "@:" в "enum".
• Автоматично номериране за абстрактни изброявания:

  enum abstract Foo(Int) {
  var A; // 0
  var B; // 1
  }
  enum abstract Bar(String) {
  var A; // "А"
  var B; // "Б"
  }

• Ключовата дума "extern" вече не изисква използването на префикса "@:".
• Премахна опцията "сечива Dynamic" за достъп до полетата на класа чрез низове. Предлага се за външни класове или чрез изпълнение от абстрактен тип.
• Добавен е синтаксис „A & B“ за пресичане на типове, който в момента се прилага само за анонимни структури и ограничения на параметрите на типа. Старият синтаксис на ограничение е премахнат.
• Създаването на празни екземпляри на „Карта“ е достъпно чрез синтаксиса „var map:Map‹Int, String› = [];“ подобно на масив.
• Добавена структура от данни "haxe.ds.ReadOnlyArray".
• Метаданните вече могат да имат пространства от имена (“@:prefix.name function() {…}”). По същия начин с дефинициите: „#if (some.flag ... #end“.
• Нов сервизен протокол за IDE, използвани в плъгин за VSCode.
• Актуализирани външни дефиниции (extern) за уеб API и добавени липсващи.

Източник: opennet.ru