Ilman tyyppiturvallisuutta kovinkin tyyppi on helposti turvallaan

Mitä yhteistä on viime vuosina paljon käytetyillä ohjelmointikielillä JavaScriptillä ja Pythonilla? Niiden tyyppiturvallisuus on heikohko. Tämä tarkoittaa, että kääntäjä ja/tai tulkki eivät löydä ohjelmavirheitä ennen kuin on liian myöhäistä ja ohjelma toimii ennalta arvaamattomasti. Tyyppivihjeillä ja TypeScriptillä ohjelmoinnin onnelaan?Erilaiset esikääntäjän varassa toimivat päälleliimatut tyyppijärjestelmät tuovat tilanteeseen apua, mutta ne eivät pääse tyyppiturvallisuuden osalta tyyppiturvallisemman kielen […]