Programmeerparadigma: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
DéRahier (overleg | bijdragen)
typo
Kleuske (overleg | bijdragen)
Het OO stukje sloeg de spijker exact naast de kop.
Regel 8:
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 predicaten die een bepaalde [[relatie (wiskunde)|relatie]] tussen objecten in het geheugen uitdrukken.
 
[[Objectoriëntatie|Objectgericht]] programmeren (''object oriented programming'') stelt niet deverenigt berekening, maaren de gegevens centraal: deze worden verpakt in ''objecten'', waarbij de details worden verborgen achter een algemene ''interface'', 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.
 
==Zie ook==