Type systems in web programming

Internet-yhteydellisten laitteiden määrä on kasvanut nopeasti viime vuosikymmeninä. Tämä johtuu elektroniikkakomponenttien kehityksestä ja niiden valmistuskulujen halpenemisesta. Samaan aikaan myös tietoliikenneprotokollat ovat kehittyneet ja tiedonsiirtonopeudet kasvaneet. JavaScript luotiin alun perin skripti-ohjelmointikieleksi ja se sisällytettiin vuonna 1995 Netscape Navigator -selaimeen. Alkuperäinen tarkoitus oli mahdollistaa yksinkertaisten skriptien suorittamien ja animaatioiden näyttäminen selaimessa. Siitä lähtien JavaScriptin käyttötarkoitus on muuttunut yhä enemmän logiikkaa sisältävien ohjelmien ensisijaiseksi toteutuskieleksi. Tässä työssä tutkitaan syitä JavaScriptin kasvaneelle suosiolle ja ongelmille tyyppijärjestelmien näkökulmasta. JavaScriptin ongelmien korjaamiseksi Microsoft on kehittänyt uuden staattisesti tyypitetyn ohjelmointikielen TypeScriptin. Kielen tarkoituksena on päästä yli JavaScript-kehityksen vaikeuksista. TypeScript on julkaissut useita ominaisuuksia, jotka ovat sisällytetty JavaScriptin noudattamaan ECMAScript-standardiin vasta paljon myöhemmin. Kun uusi ECMAScript-standardin mukainen ominaisuus toteutetaan JavaScriptillä, ei ominaisuutta välttämättä voi käyttää ohjelmassa, jossa halutaan mahdollistaan tuki vanhemmille selaimille. TypeScriptin avulla tällaiset ominaisuudet voidaan kääntää noudattamaan vanhempaa ECMAScript-standardia, jolle löytyy kattavampi selaintuki