В езика 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