Havainnoiva ohjelmointi

Abstract

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.

A programming paradigm is a way to describe the world by means of programming. Therefore, every programming paradigm must have a philosophical foundation that answers the questions defining the base of our conception of the world. The goal of this thesis was to compare the most renowned programming paradigms to the most renowned metaphysical theories and find the link between philosophy and programming.

The thesis examines functional, procedural and object-oriented programming and categorises them under subjective, dualistic and objective concepts on the basis of their way to handle the relationship between data and functions. It examines several philosophers, including René Descartes and Plato by comparing their theories to various programming paradigms.

After this the thesis implements the link between philosophy and programming by introducing a new programming paradigm called ”sensible programming”. Sensible programming is based on Immanuel Kant's transcendental idealism. The thesis examines the basic ideas of transcendental idealism and their link to programming. After this the thesis describes the basic structure of a program using sensible programming paradigm and demonstrates how it is possible to implement sensible programming with the programming languages we use today.

The functionality of the sensible programming paradigm proves that it is possible to use philosophical theories to analyse and develop programming paradigms. This opens new possibilities in the field of programming, because through philosophy this young, constantly evolving field obtains roots that are thousands of years old.