Programmeerimisparadigmad on viis, kuidas programmeerimiskeeli ja nendes kirjutatud lähenemisi rühmitada vastavalt sellele, kuidas nad probleeme lahendavad ja kuidas programm konstruktsiooni korraldab. Paradigma ei ole keele range omadus — keel võib toetada mitut paradigmat korraga ning sageli kaotab piir selgete kategooriate vahel praktilises programmeerimises tähenduse.

Mis paradigmasid mõõdetakse?

Paradigma võib keskenduda eri aspektidele, näiteks:

  • kuidas koodi täidetakse (järjestus, kontrollvood, kõrvalmõjud),
  • kuidas kood on struktureeritud (suured üksused vs palju väikseid funktsioone/komponente),
  • milliseid abstraktsioone kasutatakse (objektid, funktsioonid, reeglid, vood jm).

Mõned paradigmad on seotud kõrvaltõusudega või nende keelamisega, teised rõhutavad andmete ja loogika eraldamist. Sellepärast eristatakse laias laastus kahte suurklassi: imperatiivseid ja deklaratiivseid paradigmasid — kuigi paljud keeled on hübriidsed.

Imperatiivne programmeerimine

Imperatiivsetes programmides annavad programmeerijad arvutile järjestatud sammude jada, mis kirjeldab, milliseid samme täpselt tuleb sooritada, et saavutada soovitud tulemus. Imperatiivne stiil keskendub programmi seisundi muutmisele ja sammude järjekorrale. Tüüpiline omadus on muutujate kasutamine ning kõrvalmõjude (nt muutmine, sisend-väljund) olemasolu.

Lihtne näide illustratsiooniks (kontseptuaalne): "võta andmed, sorteeri need, prindi tulemus". Siin on rõhk sammude järjekorral ja nende täitmisel.

Struktureeritud ja protseduuriline programmeerimine

Struktureeritud programmeerimine rõhutab selge kontrollvoo kasutamist — tingimuslaused, tsüklid ja alamprogrammid — ning keelab hämarad hüpped nagu "mine tagasi samm 3 juurde" (s.t. goto-käsklused), mis raskendavad loetavust ja hooldatavust. Enamik kaasaegseid keeli toetavad struktureeritud konstruktsioone.

Protseduuriline programmeerimine on struktureeritud paradigmade alamtüüp, kus programm jaguneb selgelt eristatavateks protseduurideks või funktsioonideks (alamsüsteemideks). Protseduurid võimaldavad korduvkasutatavust ja selget ülesandejaotust.

Objektorienteeritud programmeerimine

Objektorienteeritud lähenemine modelleerib süsteemi objektide kaudu — need on kooditükid, millel on omad andmed ja käitumine (meetodid). OOP rõhutab kapseldamist, pärimist ja polümorfismi, mis aitab realiseerida realistlikumaid abstraktsioone ning hallata suurt ja keerukat koodi. Objektidele antakse sageli hulk käsklusi ja neil võib olla oma olek (muutujad).

Objektorienteeritud mõtteviisi leiab suurel hulgal keeltes, kuid seda kasutatakse eri viisidel (näiteks Smalltalk, Java, C++). OOP ei ole alati sobiv igale probleemile — mõnel juhul on funktsionaalne või komponendipõhine lähenemine selgem.

Deklaratiivne programmeerimine

Deklaratiivses programmeerimises ütleb programmeerija arvutile midakuidas seda samm-sammult teha. See võimaldab abstrakteerida kontrollvoogu ja jätta täitmise detailid kompilaatori või käituskeskkonna hooleks.

Funktsionaalne programmeerimine

Funktsionaalne paradigm rõhutab puhtaid funktsioone (funktsioonid ilma kõrvalmõjudeta), immutability't (muutumatu andmestruktuuride kasutamist) ja kõrgema järgu funktsioone. Selline lähenemine lihtsustab tegemist paralleelsuse ja testimisega, kuna puuduvad jagatud muutuvad olekud. Näited keeltest, mis funktsionaalset stiili toetavad või rõhutavad: Haskell, Erlang, Clojure, aga ka osaliselt Scala, F# ja Python.

Loogika- ja reeglipõhine programmeerimine

Loogikapõhises paradigmas kirjeldatakse fakte ja reegleid, mille põhjal tõlgendussüsteem vastab küsimustele või sünteesib lahendusi. Prolog on tüüpiline näide: programmeerija esitab teadmised ja forsseerib päringud, mitte ei defineeri täpset algoritmi, kuidas päring tulemuseni jõuab.

Sündmuspõhine ja reaktiivne programmeerimine

Sündmuspõhises paradigmas on kood organiseeritud sündmuste ja nendega seotud käitlejate ümber; fragmendid käivitatakse siis, kui vastavad sündmused aset leiavad (näiteks kasutajaliidese klikk, võrguandme saabumine). Reaktiivne programmeerimine laiendab seda ideed voogude ja ajaliselt muutuvate andmete käsitlemisele, võimaldades lihtsamalt modelleerida asünkroonset ja reaalajas käitumist.

Muud paradigmad ja eri kombinatsioonid

Lisaks ülalkirjeldatutele eksisteerib palju spetsiifilisemaid paradigmasid: deklaratiivsed andmepõhised lähenemised (nt SQL), andmevoo (dataflow) programmeerimine, aspektipõhine programmeerimine (AOP), komponentpõhine arendus, reaalajas süsteemide paradigma jm. Sageli kombineeritakse paradigmaid: näiteks võib keel olla samaaegselt objektorienteeritud ja funktsionaalne (nt Scala, JavaScript, Python), mis võimaldab valida sobivaim tehnika iga probleemi osa jaoks.

Ülevaade: kuidas valida paradigmat?

Paradigma valik sõltub mitmest tegurist:

  • probleemi olemusest (aritmeetilised protseduurid, andmetöötlus, UI, distribuutsioon jne),
  • hooldatavusest ja meeskonna oskustest,
  • soovitavast paralleelsuse või asünkroonse käitumise mudelist,
  • tööriistadest ning ökosüsteemist (raamistike, IDE-de ja teekide tugi).

Kombinatsioonid annavad paindlikkuse, kuid võivad tekitada ka arusaamatusi, kui projektis puudub selge stiilijuhend.

Probleemid paradigmadega

  • Õppekõver: mõningad paradigmad (nt puhtalt funktsionaalne või loogikapõhine) võivad olla algajale programmeerijale keerukad.
  • Jõudlus: deklaratiivse abstraktsiooni hinna võib olla vähem kontrolli madalama tasandi optimeerimisel.
  • Paradiigmade segamine: kui projektis kasutatakse mitu paradigmat ilma selge juhiseta, võib see vähendada loetavust ja suurendada vigade riski.
  • Võimalik sobimatus probleemiga: mõni paradigma ei pruugi sobida reaalajas süsteemi või madala latentsusega rakenduse nõuetega.

Ajalugu

Programmeerimisparadigmade areng on tihedalt seotud arvutite ja keelte ajaloo ning teaduslike ideedega.

Masinakood

Alguses kirjutati programme otseselt masinkoodina (binaarselt) või assamblee keeles, mis oli tugevalt imperatiivne ning seotud riistvara spetsiifikaga.

Protseduurilised keeled

1950.–1970. aastatel hakkasid levima protseduurilised keeled nagu Fortran ja C, mille eesmärgiks oli struktureerida koodi ja lihtsustada arvutuste ja algoritmide kirjeldamist. 1960.–1970. aastatel tõusis esile ka Dijkstra argument struktuurse programmeerimise kasuks.

Objektipõhine programmeerimine

Simula ja hiljem Smalltalk esitasid 1960.–1970. aastatel objektorienteeritud idee; 1980.–1990. aastatel said OOP-i laialdased populaarsuse tõus C++ ja Java kaudu, eriti suurte süsteemide modellimisel ja UI-arenduses.

Deklaratiivsed paradigmad

Funktsionaalne programmeerimine põhineb lambda-arvutuse ideedel (Church) ja sai praktilise väljundi Lispis, ML-is ja hiljem Haskellis. Loogikapõhine programmeerimine jõudis Prologis laiemasse kasutusse AI ja teadmiste esindamise valdkonnas. SQL on näide väga edukast deklaratiivsest keelest andmebaaside haldamiseks.

Kokkuvõte

Programmeerimisparadigmad annavad mõtteraamistiku, kuidas probleemi modelleerida ja lahendada. Parimat paradigmat ei ole — sobivus sõltub ülesandest, meeskonnast ja keskkonnast. Tänapäeva keeled ja tööriistad võimaldavad sageli kombineerida tugevaid külgi eri paradigmadest, andes arendajale laia valiku lähenemisviise.