Предлага се да се добави синтаксис с информация за типа към езика JavaScript

Microsoft, Igalia и Bloomberg поеха инициативата да включат синтаксис в спецификацията на JavaScript за изрични дефиниции на типове, подобно на синтаксиса, използван в езика TypeScript. В момента промените в прототипа, предложени за включване в стандарта ECMAScript, са представени за предварителни обсъждания (Етап 0). На следващото заседание на комисията TC39 през март се планира да се премине към първия етап на разглеждане на предложението с участието на експертната общност от ECMA.

Наличието на изрично посочена информация за типа ще ви позволи да избегнете много грешки по време на процеса на разработка, ще направи възможно използването на допълнителни техники за оптимизация, ще опрости отстраняването на грешки и ще направи кода по-четлив и по-лесен за модификация и поддръжка от разработчици на трети страни. Предлага се поддръжката на типове да бъде внедрена като незадължителна функция - двигателите на JavaScript и средите за изпълнение, които не поддържат проверка на типове, ще игнорират анотациите с информация за типа и ще обработват кода както преди, третирайки данните за типа като коментари. Но инструментите за проверка на типове ще могат да използват наличната информация, за да идентифицират грешки, свързани с неправилно използване на типове.

Освен това, за разлика от информацията за типа, определена с помощта на анотации на JSDoc, посочени под формата на коментари, директното посочване на типове директно в конструкции за дефиниране на променливи ще направи кода по-визуален, разбираем и по-лесен за редактиране. Например IDE с поддръжка на TypeScript ще могат незабавно да маркират грешки във въведения JavaScript код без допълнителни преобразувания. В допълнение, вградената поддръжка на типове ще направи възможно стартирането на програми, написани на въведени диалекти на JavaScript, като TypeScript и Flow, без транспилиране от един език на друг.

Сред типовете се предлага да се добавят „низ“, „число“ и „булев“, които могат да се използват при дефиниране на променливи, функционални параметри, обектни елементи, полета на класове, въведени масиви („число[]“). Предлага се също да се осигури поддръжка за обединени типове („низ | номер“) и генерични. нека x: низ; функция add(a: число, b: число) { return a + b; } интерфейс Лице { име: низ; възраст:номер; } функция foo (x: T) { return x; } функция foo(x: низ | число): низ | число { if (typeof x === число) { return x + 1 } else { return x + "!" }}

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