10.947
bewerkingen
k
→Gangbare paradigma's
(rv; recursieve functies heeft hier een zeer specifieke betekenis) |
|||
|
In [[imperatief programmeren|imperatieve]] paradigma's is een programma in essentie een reeks instructies die het [[computergeheugen|geheugen]] manipuleren en die op volgorde door de computer worden uitgevoerd. Deze stijl van programmeren staat dicht bij de werking van een computer en werden derhalve als eerste praktisch gerealiseerd.
Bij [[declaratief programmeren]] zijn programma's stelsels van definities in een [[formeel systeem]]. De volgorde van uitvoering van het programma wordt grotendeels impliciet gelaten; deze wordt bewerkstelligd door een algemeen [[algoritme]] dat afleidingen in het formele systeem maakt. [[Functioneel programmeren|Functionele]] talen zijn gebaseerd op formalismes zoals de theorie van [[recursietheorie|recursieve functies]] of de [[lambdacalculus]] programma's. Hieronder worden [[functie (wiskunde)|wiskundige functies]] gedefinieerd die invoer in uitvoer transformeren. Bij [[logisch programmeren]], gebaseerd op (doorgaans) [[predikatenlogica]], zijn het definities van predikaten die een bepaalde [[relatie (wiskunde)|relatie]] tussen objecten in het geheugen uitdrukken.
[[Objectoriëntatie|Objectgericht]] programmeren (''object oriented programming'') stelt niet de berekening, maar de gegevens centraal: deze worden verpakt in ''objecten'', tegenwoordig vaak gerangschikt in een hiërarchie van ''klassen''. Objecten sturen elkaar ''berichten'' ([[Smalltalk]]) of roepen elkaars ''methoden'' aan ([[Java (programmeertaal)|Java]]); alleen zo hebben ze toegang tot elkaars gegevens. De methoden/reacties op berichten zijn procedures die de interne gegevens van een object manipuleren.
| |||