Abstrakt. TypeScript är en förlängning av JavaScript avsett att möjliggöra enklare utveckling av storskaliga JavaScript-program. Medan varje JavaScript-program är ett TypeScript-program, erbjuder TypeScript ett modulsystem, klasser, gränssnitt och ett rikt gradvis typsystem. Avsikten är att TypeScript ger en smidig övergång för JavaScript programmerare-väletablerade JavaScript programmering idiomer stöds utan några större omskrivning eller anteckningar. En intressant konsekvens är att TypeScript-systemet inte är statiskt ljud genom design. Målet med detta papper är att fånga essensen av TypeScript genom att ge en exakt definition av denna typ system på en kärna av konstruktioner av språket. Vårt viktigaste bidrag, utöver de välbekanta fördelarna med en robust matematisk formalisering, är en refaktor i ett säkert inre fragment och ytterligare ett lager av osäkra regler.
TypeScript REF är en gradvis skrivförlängning av JavaScript som kompilerar ner till JavaScript.
Understanding TypeScript
{'venue': 'ECOOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}