Programmeerimiskeele Haxe 4.0 väljalase

Saadaval vahendite väljaanne Haxe 4.0, mis hõlmab samanimelist mitme paradigma kõrgetasemelist programmeerimiskeelt, range tüübistamisega, ristkompilaatorit ja standardsete funktsioonide raamatukogu. Projekt toetab kompilatsiooni C++, HashLink/C, JavaScript, C#, Java, PHP, Python ja Lua keeles, samuti baidikoodi kompileerimist JVM-i, HashLink/JIT, Flash ja Neko jaoks, pakkudes juurdepääsu iga sihtplatvormi kohalikele võimalustele. Kompilaatori kood GNU Üldine Avaliku litsentsi alusel. on litsentseeritud GPLv2 all, samas kui standardraamatukogu ja arendatav Haxe virtuaalmasin Neko on MIT litsentsi all.

Keel on expression-orienteeritud oni range tüübistamisega. Toetatakse objekti-orienteritud, üldiste ja funktsionaalsete programmeerimise paradigmasid.
Haxe süntaks on sarnane ECMAScriptiga ja laiendab oma tunnustega, nagu staatiline tüübistamine, tüüpide automaatne tuletamine, musternäidetes sobitamine, generics, iteraatoritel põhinev 'for' tsükkel, AST-makrod, GADT (üldistatud algebralised andmetüübid), abstraktsed tüübid, anonüümsed struktuurid, lihtsustatud massiivide määratlemine, tingimuslikud kompileerimiskäsud, metaandmete lisamine väljadele, klassidele ja väljenditele, stringide interpolatsioon ('Minu nimi on $name'), tüübi argumendid ('new Main‹String›('foo')') ja palju muud.

class Test {
static function main() {
var inimesed = [
«Elizabeth» => «Programmeerimine»,
«Joel» => «Disain»
];

for (nimi in inimesed.keys()) {
var amet = inimesed[nimi];
trace(‘$name teenib $job’);
}
}
}

Peamised uuendused versioon 4.0:

• Uus süntaks funktsioonide tüübi määramiseks „(name:String, age:Int)->Bool“ või „(String, Int)->Bool“ asemel „String->Int->Bool“.
• Noolefunktsioonide süntaks „(a, b) -> a + b“ asemel „function(a, b) return a + b“.
• Kaitse Null väärtuste kasutamisega seotud probleemide eest (eksperimentaalne funktsioon, mida saab soovi korral aktiveerida teatud väljade, klasside või pakettide jaoks).
• Muutumatu klassiväljade ja kohalike muutujate võtmesõna „final“. „Final“ võib samuti olla funktsioonide määramiseks, et keelata nende ülekirjutamine pärimise käigus, ja klasside/interfeerside määramiseks, mida ei saa pärida.
• Toetamine Unicode standard põhiliigi „String“ jaoks kõikide kompileerimise sihtide, välja arvatud Neko.
• nullist ümberkirjutatud sisseehitatud tõlgendaja, mis toimetatakse nüüd nime all Eval. Uue tõlgendaja tõttu toimivad skriptid ja makrod tunduvalt kiiremini. Toetatakse interaktiivse silumise režiimi.
• Uus sihtsüsteem kompileerimiseks (target) Hashlink — kõrgsoorituslik runtime, mis on loodud spetsiaalselt Haxe jaoks, toetab kompilatsiooni bytecode'iks JIT-i või C-ks, pakkudes lihtsat integreerimist C-iga ja ligipääsu madala taseme numbrilistele tüüpidele ja viidetele.
• Uus JVM sihikeskkond — võimaldab genereerida jvm bytecode'i, vahele jätmata Java-koodi kompileerimise etappi, kui lisada sihtimise käigus lipp „-D jvm“.
• Võime inline-moodulis (inline deployment) kohtades, kus funktsioonide või konstruktorite kutsumise korral, isegi kui need pole nõnda välja kuulutatud.
• Võime kaasata staatilisi laiendusi tüübi (näiteks „enum”) kuulutamise ajal, kasutades „@:using(path.ToExtension)“.
• Abstraktsed tüübid toetavad nüüd „set“-versiooni operaatorist „@:op(a.b)“, et üle laadida väljendid „obj.foo = bar“.
• Tsükli „for“ süntaks toetab nüüd „võti-väärtus“-iteratsiooni: „for (key => value in collection) {}“.
• Toetatud on xml-taolise süntaksi kasutamine väljendites: „var a = ‹hi/›;“. Praegu on see võimalus saadaval ainult makrode analüüsimiseks ja on disainimise etapis.
• Süntaks valikuliste väljade jaoks anonüümses struktuuris „täielikus” näidises: „{ var ?f:Int; }“ (alternatiiv lühikesele „{ ?f:Int }“).
• Enumeratsioonide väärtused võivad nüüd olla vaikeväärtused funktsiooni argumentide jaoks: „function foo‹T›(option:Option‹T› = None)”.
• Süntaks „enum abstract Name(BasicType) {}” ei nõua enam „@:„ eelprefiksi „enum” puhul.
• Autonumereerimine abstraktsetele enumeratsioonidele:

  enum abstract Foo(Int) {
  var A; // 0
  var B; // 1
  }
  enum abstract Bar(String) {
  var A; // „A”
  var B; // „B”
  }

• Märksõna „extern” ei nõua enam „@:„ eelprefiksi kasutamist.
• Eemaldatud on võimalus „implements Dynamic” klassi väljadele juurde pääsemiseks stringide kaudu. Saadaval extern-klasside jaoks või abstraktse tüübi kaudu.
• Lisatud süntaks „A & B” tüüpide ristumise jaoks, mis kehtib hetkel ainult anoniimsete struktuuride ja tüüpide piirangute jaoks. Vana piirangute süntaks on eemaldatud.
• Tühi „Map” eksemplaride loomine on nüüd saadaval süntaksiga „var map:Map‹Int, String› = [];” sarnaselt massiivile.
• Lisatud andmestruktuur „haxe.ds.ReadOnlyArray”.
• Metaandmed võivad nüüd omada nimiruume („@:prefix.name function() {…}”). Samuti määratlemiste puhul: „#if (some.flag … #end”.
• Uus teenuste protokoll IDE-de jaoks, mida kasutatakse VSCode'i plugina.
• Täiustatud on väliseid määratlusi (extern) Web API-de jaoks ja lisatud puuduvad määratlused.

Allikas: opennet.ru