Havainnoiva ohjelmointi
Hätinen, Jouni-Olavi (2015)
Hätinen, Jouni-Olavi
Metropolia Ammattikorkeakoulu
2015
Creative Commons Attribution-NonCommercial-ShareAlike 1.0 Suomi
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:amk-2015052710726
https://urn.fi/URN:NBN:fi:amk-2015052710726
Tiivistelmä
Ohjelmointiparadigma on tapa kuvata maailmaa ohjelmoinnin menetelmin. Jokaisella ohjelmointiparadigmalla täytyy tämän vuoksi olla jokin filosofinen pohja, joka vastaa niihin kysymyksiin, jotka määrittelevät pohjan koko maailmankuvallemme. Tämän insinöörityön tavoite oli verrata tunnetuimpia ohjelmointiparadigmoja tunnetuimpiin metafyysisiin teorioihin ja löytää yhteys filosofian ja ohjelmoinnin välillä.
Työssä tutustutaan funktionaaliseen, proseduraaliseen ja olio-ohjelmointiin ja jaetaan ne subjektiivisen, dualistisen ja objektiivisen käsitteen alle sillä perusteella, miten ne käsittelevät datan ja funktioiden välistä suhdetta. Työ käy läpi niin René Descartesin kuin Platoninkin teorioita vertailemalla niitä eri ohjelmointiparadigmoihin.
Tämän jälkeen työ esittelee samaa logiikkaa käyttäen Immanuel Kantin transsendentaaliseen idealismiin pohjautuvan havainnoivan ohjelmoinnin ohjelmointiparadigman. Työ käy läpi transsendentaalisen idealismin perusajatuksia ja niiden yhteyttä ohjelmointiin. Tämän jälkeen työ kuvaa havainnoivan ohjelman perusrakenteen ja esittelee lopuksi, miten havainnoivaa ohjelmointia on mahdollista toteuttaa käytännössä nykyisillä ohjelmointikielillä.
Havainnoivan ohjelmoinnin toteutuksen toimivuus osoittaa, että filosofisia teorioita on mahdollista hyödyntää ohjelmointiparadigmojen analysoinnissa ja kehityksessä. Tämä avaa uusia mahdollisuuksia ohjelmoinnin alalla, sillä nuori, jatkuvassa muutoksessa oleva ala saa filosofian kautta tuhansia vuosia pitkät juuret.
Työssä tutustutaan funktionaaliseen, proseduraaliseen ja olio-ohjelmointiin ja jaetaan ne subjektiivisen, dualistisen ja objektiivisen käsitteen alle sillä perusteella, miten ne käsittelevät datan ja funktioiden välistä suhdetta. Työ käy läpi niin René Descartesin kuin Platoninkin teorioita vertailemalla niitä eri ohjelmointiparadigmoihin.
Tämän jälkeen työ esittelee samaa logiikkaa käyttäen Immanuel Kantin transsendentaaliseen idealismiin pohjautuvan havainnoivan ohjelmoinnin ohjelmointiparadigman. Työ käy läpi transsendentaalisen idealismin perusajatuksia ja niiden yhteyttä ohjelmointiin. Tämän jälkeen työ kuvaa havainnoivan ohjelman perusrakenteen ja esittelee lopuksi, miten havainnoivaa ohjelmointia on mahdollista toteuttaa käytännössä nykyisillä ohjelmointikielillä.
Havainnoivan ohjelmoinnin toteutuksen toimivuus osoittaa, että filosofisia teorioita on mahdollista hyödyntää ohjelmointiparadigmojen analysoinnissa ja kehityksessä. Tämä avaa uusia mahdollisuuksia ohjelmoinnin alalla, sillä nuori, jatkuvassa muutoksessa oleva ala saa filosofian kautta tuhansia vuosia pitkät juuret.