Издање програмског језика Хаке 4.0

Доступан издање комплета алата Хаке 4.0, који укључује истоимени програмски језик високог нивоа са више парадигми са јаким куцањем, унакрсни компајлер и стандардну библиотеку функција. Пројекат подржава превод на Ц++, ХасхЛинк/Ц, ЈаваСцрипт, Ц#, Јава, ПХП, Питхон и Луа, као и компилацију у ЈВМ, ХасхЛинк/ЈИТ, Фласх и Неко бајт код, са приступом изворним могућностима сваке циљне платформе. Код компајлера дистрибуира под ГПЛв2 лиценцом, и стандардну библиотеку и виртуелну машину развијену за Хаке Неко под лиценцом МИТ-а.

Језик је оријентисан на експресију са јаким куцањем. Подржани су објектно оријентисани, генерички и функционални концепти програмирања.
Хаке синтакса је блиска ЕЦМАСцрипт и проширује се његове карактеристике као што су статичко куцање, закључивање аутотипа, подударање шаблона, генерика, базирани на итераторима за петље, АСТ макрои, ГАДТ (генерализовани алгебарски типови података), апстрактни типови, анонимне структуре, поједностављене дефиниције низова, изрази условне компилације, причвршћивање метаподатака пољима , класе и изрази, интерполација стрингова ('Моје име је $наме'), параметри типа ("нев Маин‹Стринг›('фоо')") и много више.

класа тест {
статичка функција маин() {
вар људи = [
"Елизабета" => "Програмирање",
"Јоел" => "Дизајн"
];

за (име у пеопле.кеис()) {
вар посао = људи[име];
траце('$наме ради $посао за живот!');
}
}
}

Главни иновације верзија 4.0:

• Нова синтакса за одређивање типа функције "(наме:Стринг, аге:Инт)->Боол" или "(Стринг, Инт)->Боол" уместо "Стринг->Инт->Боол".
• Синтакса функције стрелице је "(а, б) -> а + б" уместо "функција(а, б) врати а + б".
• Заштита од проблема повезаних са употребом Нулл вредности (експериментална функција, опционо омогућена за одређена поља, класе или пакете).
• Кључна реч „финал“ је за поља класе и локалне променљиве које су непроменљиве. "финал" се такође може користити за дефинисање функција како би се спречило њихово замени наслеђем и за класе/интерфејсе који се не могу наследити.
• подршка Уницоде стандард за основни тип "Стринг" на свим циљевима компилације осим Неко.
• Уграђени тумач преписан од нуле, који сада долази под именом Евал. Захваљујући новом тумачу, скрипте и макрои раде много брже. Интерактивни режим за отклањање грешака је подржан.
• Нови циљни систем за компилацију (циљ) Хасхлинк - време извођења високих перформанси дизајнирано посебно за Хаке, подржава компилацију у бајткод за ЈИТ или Ц, има лаку интеграцију са Ц, као и приступ нумеричким типовима ниског нивоа и показивачима.
• Нови ЈВМ циљ - омогућава вам да генеришете јвм бајткод тако што ћете прескочити корак компилације Јава кода додавањем ознаке "-Д јвм" када циљате у Јави.
• Способност инлине-деплои-а на месту позивања функција или конструктора, чак и ако нису декларисани као такви.
• Могућност укључивања статичке екстензије када декларишете тип (као што је "енум") користећи "@:усинг(патх.ТоЕктенсион)".
• Апстрактни типови сада подржавају „сет“ верзију оператора „@:оп(аб)“ за поновно учитавање „обј.фоо = бар“ израза.
• Синтакса петље „фор“ сада подржава итерацију кључ-вредност: „фор (кључ => вредност у колекцији) {}“.
• Подршка за коришћење ознака попут кмл у изразима: „вар а = ‹хи/›;“. За сада, ова функција је доступна само за рашчлањивање са макроима и налази се у фази пројектовања.
• Синтакса за опциона поља у „пуном“ запису анонимних типова структуре је: „{ вар ?ф:Инт; }" (алтернатива кратком "{ ?ф:Инт }").
• Енум вредности сада могу бити подразумеване вредности за аргументе функције: „функција фоо‹Т›(оптион:Оптион‹Т› = Ноне)“.
• Синтакса „енум апстрацт Наме(БасицТипе) {}“ више не захтева префикс „@:“ у „енум“.
• Аутоматско нумерисање за апстрактне набрајања:

  енум абстрацт Фоо(Инт) {
  вар А; // 0
  вар Б; // 1
  }
  енум апстрактна трака (стринг) {
  вар А; // "А"
  вар Б; // "Б"
  }

• Кључна реч „ектерн“ више не захтева употребу префикса „@:“.
• Уклоњена је опција "опрема Динамиц" за приступ пољима класе преко стрингова. Доступан за екстерне класе или кроз имплементацију апстрактног типа.
• Додата "А & Б" синтакса за укрштање типова, која се тренутно примењује само на анонимне структуре и ограничења типа параметара. Стара синтакса ограничења је уклоњена.
• Креирање празних инстанци „Мапе“ је доступно преко синтаксе „вар мап:Мап‹Инт, Стринг› = [];“ слично низу.
• Додата структура података „хаке.дс.РеадОнлиАрраи“.
• Метаподаци сада могу имати просторе имена („@:префик.наме фунцтион() {…}”). Слично са дефиницијама: „#иф (нека.застава ... #крај).
• Нови сервисни протокол за ИДЕ који се користи у додатак за ВСЦоде.
• Ажуриране екстерне дефиниције (ектерн) за веб АПИ-је и додане оне које недостају.

Извор: опеннет.ру