Microsoft, Igalia, a Bloomberg hunn d'Initiativ geholl fir d'Syntax an der JavaScript Spezifizéierung fir explizit Typdefinitioune opzehuelen, ähnlech wéi d'Syntax déi an der TypeScript Sprooch benotzt gëtt. De Moment sinn d'Prototyp Ännerungen, déi fir Inklusioun am ECMAScript Standard proposéiert ginn, fir virleefeg Diskussiounen (Stage 0) presentéiert. Op der nächster Versammlung vum TC39 Comité am Mäerz ass et geplangt fir op déi éischt Stuf vun der Iwwerleeung vun der Propositioun mat der Bedeelegung vun der Expertgemeinschaft vun der ECMA ze plënneren.
Explizit spezifizéiert Typinformatioun ze hunn erlaabt Iech vill Feeler während dem Entwécklungsprozess ze vermeiden, mécht et méiglech zousätzlech Optimisatiounstechniken ze benotzen, Debugging vereinfachen, an de Code méi liesbar a méi einfach ze änneren an Ënnerstëtzung vun Drëtt-Partei Entwéckler. Typ Ënnerstëtzung gëtt proposéiert als fakultativ Feature implementéiert ze ginn - JavaScript Motoren a Runtimes déi net Typprüfung ënnerstëtzen, ignoréieren Annotatiounen mat Typinformatioun a veraarbecht de Code wéi virdrun, behandelen Typdaten als Kommentaren. Awer Typprüfungsinstrumenter kënnen déi verfügbar Informatioun benotze fir Feeler ze identifizéieren, déi mat der falscher Notzung vun Typen verbonne sinn.
Ausserdeem, am Géigesaz zu Typinformatioun spezifizéiert mat JSDoc Annotatiounen, déi a Form vu Kommentaren spezifizéiert ginn, gëtt direkt Indikatioun vun Typen direkt a variabelen Definitiounskonstruktiounen de Code méi visuell, verständlech a méi einfach ze änneren. Zum Beispill, IDEs mat TypeScript Support kënnen direkt Feeler am getippten JavaScript Code markéieren ouni zousätzlech Konversiounen. Zousätzlech wäert d'gebauter Typ Ënnerstëtzung et méiglech maachen Programmer ze lafen, déi an getippten JavaScript Dialekter geschriwwe sinn, wéi TypeScript a Flow, ouni vun enger Sprooch op déi aner ze transpiléieren.
Ënner den Typen gëtt proposéiert "String", "Nummer" an "Boolean" ze addéieren, déi benotzt kënne ginn wann Dir Variabelen, Funktiounsparameter, Objektelementer, Klassefelder, getippten Arrays definéiert ("Nummer []"). Et gëtt och proposéiert Ënnerstëtzung fir fusionéiert Typen ("String | Zuel") a Generik ze bidden. lass x: string; Funktioun add (a: Zuel, b: Zuel) { zréck a + b; } Interface Persoun { Numm: String; Alter: Zuel; } Fonktioun foo (x: T) { zréck x; } Funktioun foo(x: String | Zuel): String | Nummer { if (Typ vun x === Zuel) { return x + 1 } soss { return x + "!" } }
Source: opennet.ru
