Programspråket TypeScript lägger till valfria typer till JavaScript, med stöd för interaktion med befintliga JavaScript-bibliotek via gränssnittsdeklarationer. Sådana deklarationer har skrivits för hundratals bibliotek, men de kan vara svåra att skriva och ofta innehålla fel, vilket kan påverka typkontroll och felriktad kodkomplettering för ansökningskoden i IDE. Vi presenterar ett pragmatiskt tillvägagångssätt för att kontrollera riktigheten av TypeScript deklarationsfiler med avseende på JavaScript bibliotek implementationer. Nyckelidén i vår algoritm är att många deklarationsfel kan upptäckas genom en analys av bibliotekets initialiseringstillstånd kombinerat med en lätt statisk analys av bibliotekets funktionskod. Våra experimentella resultat visar effektiviteten i tillvägagångssättet: det har hittat 142 fel i deklarationsfilerna för 10 bibliotek, med en analystid på några minuter per bibliotek och med ett lågt antal falska positiva. Vår analys av hur programmerare använder biblioteksgränssnittsdeklarationer avslöjar dessutom några praktiska begränsningar i TypeScript-systemet.
Feldthaus et al's TSCHECK REF är ett verktyg för att kontrollera riktigheten i TypeScript-gränssnitt för JavaScript-bibliotek.
Checking correctness of TypeScript interfaces for JavaScript libraries
{'venue': 'OOPSLA', 'journal': None, 'mag_field_of_study': ['Computer Science']}