Muuttujien tyypityksen vaikutus verkko-ohjelman ohjelmoimiseen

Abstract

Työssä tutkittiin, miten muuttujien tietotyyppien staattinen asettaminen vaikuttaa ohjelmointiin. Vertailuun otettiin TypeScript, joka on staattisesti tyypitetty kieli ja JavaScript, joka on dynaamisesti tyypitetty kieli. Tavoitteena oli selvittää, miten staattinen tyypitys vaikuttaa koodiin ja ohjelmoinnin prosessiin. Työn tueksi kysyttiin Tampereen ammattikorkeakoulun tietojenkäsittelyn opiskelijoilta, millaisia kokemuksia heillä on TypeScriptin ja JavaScriptin käytöstä.

Tuloksena saatiin selville, että staattisella tyypittämisellä on vaikutuksia ohjelmointiprosessiin ja koodiin itsessään. Missä kohtaa koodin tietotyyppivirheet tarkastetaan, on suuri merkitys niin koodin kehityksen kuin virheiden ennaltaehkäisyn kannalta. Kun mahdolliset virheet tarkastetaan jo kääntäjässä, on niiden huomaaminen ja korjaaminen helpompaa. Koodi on myös rakenteellisesti toimivampaa ja vähemmän alttiimpaa virheille, jotka voivat johtua käyttäjän syötteistä, ilman mittavia käsin kirjoitettuja lisätarkistuksia. Koska iso osa yleisimmistä ohjelmointikielistä on myös staattisesti tyypitettyjä, esimerkiksi Java ja Python, voi staattisesti tyypitetyn vaihtoehdon valitseminen auttaa uusien kielien oppimisessa.

The goal of the thesis was to find out if and how static typing of variables affects web programming. The focus was on the code itself and the coding process. Two coding languages were compared: TypeScript which is a statically typed language and JavaScript which is a dynamically typed language. A survey was made for the purposes of acquiring preliminary data on the experiences with TypeScript and JavaScript. The survey was answered by Business Information Systems students.

It was found that static typing affects the coding process and the code itself. It matters if type checking is performed at the compile time or runtime. It matters in the context of the development process and prevention of type errors. When using static typing, type checking is performed at the compile time which makes noticing errors and correcting them much easier. The code is also more structurally sound and less prone to errors, which are caused by erroneous user inputs. Also, as many of the more popular programming languages - not just in web development - are statically typed, the usage of statically typed languages can help the developer to learn new code languages more quickly in the future.