De bedrijven Microsoft, Igalia en Bloomberg hebben de initiatief genomen om syntaxis voor expliciete type-definitie op te nemen in de specificatie van JavaScript, vergelijkbaar met de syntaxis die in de programmeertaal TypeScript wordt gebruikt. Momenteel is er een prototype van de veranderingen voorgesteld voor opname in de ECMAScript-standaard en dit is voorbesproken (Stage 0). Tijdens de komende vergadering van TC39 in maart is het plan om door te gaan naar de eerste fase van de bespreking van het voorstel met betrokkenheid van de expertengemeenschap van ECMA.
De aanwezigheid van expliciet gedefinieerde type-informatie zal veel fouten tijdens de ontwikkeling helpen voorkomen, de mogelijkheid bieden om extra optimalisatietechnieken toe te passen, het debuggen vereenvoudigen en de code leesbaarder en eenvoudiger maak voor aanpassing en ondersteuning door externe ontwikkelaars. De ondersteuning voor types wordt voorgesteld als een optionele functie — JavaScript-engines en runtime die geen type-checking ondersteunen, zullen type-informatie-annotaties negeren en de code zoals voorheen verwerken, waardoor type-informatie als commentaar wordt bekeken. Maar type-checking tools kunnen op basis van de beschikbare informatie fouten identificeren die verband houden met onjuist gebruik van types.
In tegenstelling tot type-informatie die door middel van JSDoc-annotaties in commentaarvorm wordt opgegeven, zal het directe specificeren van types in de constructies voor het definiëren van variabelen de code visueler, begrijpelijker en eenvoudiger te bewerken maken. Bijvoorbeeld, geïntegreerde ontwikkelomgevingen met ondersteuning voor TypeScript zullen direct fouten in typeerde JavaScript-code markeren zonder extra transformaties. Bovendien biedt ingebouwde type-ondersteuning de mogelijkheid om programma's geschreven in getypeerde dialecten van JavaScript, zoals TypeScript en Flow, zonder transpilation van de ene taal naar de andere uit te voeren.
Из типов предлагается добавить «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 + «!» } }
Bron: opennet.ru
