Релиз на програмния език Haxe 4.0

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

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

class Test {
static function main() {
var people = [
‘Elizabeth’ => ‘Програмиране’,
‘Joel’ => ‘Дизайн’
];

for (name in people.keys()) {
var job = people[name];
trace(‘$name работи като $job!’);
}
}
}

Основни нововведения в версия 4.0:

• Нов синтаксис за указване на типове функции ‘(name:String, age:Int)->Bool’ или ‘(String, Int)->Bool’ вместо ‘String->Int->Bool’.
• Синтаксис на стрелкови функции ‘(a, b) -> a + b’ вместо ‘function(a, b) return a + b’.
• Защита от проблеми, свързани с използването на стойности Null (експериментална функция, включваща се по желание за определени полета, класове или пакети).
• Ключовата дума ‘final’ за полета на класове и локални променливи, които са неизменни. ‘final’ също може да се използва за определяне на функции, за да се забрани тяхното презаписване при наследяване и за класове/интерфейси, които не могат да бъдат наследени.
• Поддръжка стандарта Unicode за базов тип ‘String’ на всички цели на компилация с изключение на Neko.
• Преписан от нулата вграденият интерпретатор, който сега се предлага под името Eval. Благодарение на новия интерпретатор скриптовете и макросите се изпълняват много по-бързо. Подкрепя се режим на интерактивна отладка.
• Нова целева система за компилация (target) Hashlink — високопроизводителен runtime, проектиран специално за Haxe, който поддържа компилиране в байткод за JIT или C, предлагаща лесна интеграция с C, както и достъп до нискоуровневи числови типове и указатели.
• Новата целева система JVM — позволява генериране на байткод jvm, пропускайки етапа на компилиране на Java-код чрез добавяне на флага "-D jvm" при таргетиране в Java.
• Възможност за inline-развъртање на мястото на извикване на функции или конструктори, дори ако те не са обявени като такива.
• Възможност за включване на статични разширения при обявяване на тип (например "enum") с помощта на "@:using(path.ToExtension)".
• Абстрактните типове вече поддържат "set"-версия на оператора "@:op(a.b)" за презареждане на изрази "obj.foo = bar".
• Синтаксисът на цикъла "for" вече поддържа итерация "ключ-стойност": "for (key => value in collection) {}".
• Поддръжка на използването на xml-подобна маркировка в изрази: "var a = ‹hi/›;". Към момента тази възможност е налична само за парсинг с макроси и е в етап на проектиране.
• Синтаксис за опционални полета в "пълната" нотация на типовете анонимни структури: "{ var ?f:Int; }" (алтернатива на "краткия" "{ ?f:Int }").
• Стойностите на изброяванията вече могат да бъдат стойности по подразбиране за аргументи на функции: "function 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; // "A"
  var B; // "B"
  }

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

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