В езика JavaScript беше предложен синтаксис с информация за типовете

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

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

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

Из типов предлагается добавить «string», «number» и «boolean», которые можно будет использовать при определении переменных, параметров функций, элементов объектов, полей классов, типизированных массивов («number[]»). Предлагается также обеспечить поддержку объединённых типов («string | number») и дженериков. let x: string; function add(a: number, b: number) { return a + b; } interface Person { name: string; age: number; } function foo<T>(x: T) { return x; } function foo(x: string | number): string | number { if (typeof x === number) { return x + 1 } else { return x + «!» } }

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