Се предлага да се додаде синтакса со информации за типот на јазикот JavaScript

Мајкрософт, Игалија и Блумберг презедоа иницијатива да ја вклучат синтаксата во спецификацијата JavaScript за експлицитни дефиниции за типови, слична на синтаксата што се користи во јазикот TypeScript. Во моментов, прототипните промени предложени за вклучување во стандардот ECMAScript се доставени за прелиминарни дискусии (Фаза 0). На следниот состанок на Комитетот за ТК39 во март, планирано е да се премине во првата фаза на разгледување на предлогот со вклучување на експертската заедница од ЕЦМА.

Имањето експлицитно специфицирани информации за типот ќе ви овозможи да избегнете многу грешки за време на процесот на развој, да овозможите користење дополнителни техники за оптимизација, да го поедноставите дебагирањето и да го направите кодот почитлив и полесен за модификација и поддршка од трети лица програмери. Поддршката за типови се предлага да се имплементира како опционална карактеристика - JavaScript моторите и работните времиња што не поддржуваат проверка на типот ќе ги игнорираат прибелешките со информации за типот и ќе го обработуваат кодот како порано, третирајќи ги податоците за типот како коментари. Но, алатките за проверка на типот ќе можат да ги користат достапните информации за да ги идентификуваат грешките поврзани со неправилна употреба на типови.

Згора на тоа, за разлика од информациите за типот специфицирани со помош на прибелешките на JSDoc наведени во форма на коментари, директното укажување на типовите директно во конструкциите за дефиниција на променливи ќе го направи кодот повизуелен, разбирлив и полесен за уредување. На пример, IDE-и со поддршка за TypeScript ќе можат веднаш да ги истакнат грешките во внесениот JavaScript код без дополнителни конверзии. Дополнително, вградената поддршка за тип ќе овозможи да се извршуваат програми напишани на дијалекти напишани JavaScript, како што се TypeScript и Flow, без транспилација од еден јазик на друг.

Меѓу типовите, се предлага да се додадат „стринг“, „број“ и „бул“, што може да се користи при дефинирање на променливи, параметри на функции, елементи на објектот, полиња за класи, типизирани низи („број[]“). Исто така, се предлага да се обезбеди поддршка за споени типови („низа | број“) и генерики. нека x: низа; функција add(a: број, b: број) { врати a + b; } интерфејс Лице { име: низа; возраст: број; } функција foo (x: T) { врати x; } функција foo(x: стринг | број): низа | број { if (тип x === број) { врати x + 1 } else { врати x + "!" } }

Извор: opennet.ru