Programmeerparadigma: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Kleuske (overleg | bijdragen)
DéRahier (overleg | bijdragen)
k diakritische en andere typo's; met AWB
Regel 6:
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) [[predikatenlogicapredicatenlogica]], zijn het definities van predicaten die een bepaalde [[relatie (wiskunde)|relatie]] tussen objecten in het geheugen uitdrukken.
 
[[Objectoriëntatie|Objectgericht]] programmeren (''object oriented programming'') verenigt berekening en de gegevens: deze worden verpakt in ''objecten'', waarbij de details worden verborgen achter een algemene ''interface'', vaak gerangschikt in een hiërarchie van ''klassen''. Objecten sturen elkaar ''berichten'' ([[Smalltalk]]) of roepen elkaars ''methoden'' aan ([[C++]], [[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.