Microsoft, Igalia et Bloomberg ont lancé une initiative visant à inclure dans la spécification JavaScript une syntaxe pour la définition explicite des types, similaire à la syntaxe utilisée dans le langage TypeScript. Actuellement, le prototype de modifications proposé pour inclusion dans la norme ECMAScript est en discussion préliminaire (Stage 0). Lors de la prochaine réunion de mars du comité TC39, il est prévu de passer à la première étape de révision de la proposition en impliquant la communauté d'experts d'ECMA.
La présence d'informations sur les types clairement définies permettra d'éviter de nombreuses erreurs lors du développement, donnera la possibilité d'utiliser des techniques d'optimisation supplémentaires, simplifiera le débogage et rendra le code plus lisible et plus facile à maintenir et à modifier par d'autres développeurs. La prise en charge des types devrait être mise en œuvre comme une option facultative : les moteurs JavaScript et les environnements d'exécution qui ne prennent pas en charge la vérification des types ignoreront les annotations avec des informations sur les types et traiteront le code comme auparavant, considérant les données sur les types comme des commentaires. Toutefois, les outils de vérification des types pourront identifier les erreurs liées à une utilisation incorrecte des types sur la base des informations disponibles.
En revanche, contrairement aux informations sur les types fournies via des annotations JSDoc, indiquées sous forme de commentaires, l'indication directe des types dans les structures de définition des variables rendra le code plus clair, compréhensible et facile à modifier. Par exemple, les environnements de développement intégrés prenant en charge TypeScript pourront immédiatement signaler les erreurs dans le code JavaScript typé sans transformations supplémentaires. De plus, la prise en charge intégrée des types permettra d'exécuter des programmes écrits dans des dialectes typés de JavaScript, tels que TypeScript et Flow, sans nécessiter de transpilation d'un langage à un autre.
Из типов предлагается добавить «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 + «!» } }
Source : opennet.ru
