Samenvattingen · InformaticaNL · VWO

Keuze J: Programmeerparadigma’s

Een programmeerparadigma is een fundamentele manier van denken over en structureren van een programma. Dit keuzethema behandelt het imperatieve en objectgeoriënteerde paradigma (opdrachten en objecten), het functionele paradigma (functies zonder neveneffecten, recursie) en het logische/declaratieve paradigma (feiten en regels, ‘beschrijf wat, niet hoe’). Het leert je paradigma’s herkennen, vergelijken en het passende kiezen bij een probleem. Verdieping binnen het schoolexamen, bovenop het programmeren van domein D.

4 Onderdelen~13 min leestijd4 VaardighedenNiveau Basis 1 · Standaard 2 · Verdieping 1

T·0888 / 18

Examenprofiel

J · Het imperatieve en objectgeoriënteerde paradigma herkennen en toepassenJ · Functioneel programmeren: pure functies, onveranderlijkheid en recursieJ · Logisch/declaratief programmeren: feiten, regels en afleidingJ · Paradigma’s vergelijken en het passende paradigma bij een probleem kiezen

Operatoren:herkenvergelijkspeel naleg uitkies

basisniveau

Het onderscheid tussen ‘hoe’ (imperatief) en ‘wat’ (declaratief) en het begrip recursie vormen de kern.

verhoogd niveau

Pure functies, de recursieboom en declaratieve afleiding horen bij de verdieping.

Diepte

Tekst

Inhoud · 4 onderdelen

Keuze J: Programmeerparadigma’s

Het imperatieve en objectgeoriënteerde paradigma#

Basisexamenblad-informatica-J

Een paradigma is een grondhouding tegenover programmeren: het bepaalt hoe je een probleem in code giet en welke bouwstenen centraal staan. Dezelfde taak los je in verschillende paradigma’s heel anders op. Het imperatieve paradigma (domein D) is het bekendst: je geeft de computer een reeks opdrachten die stap voor stap de toestand (variabelen) veranderen — ‘doe dit, dan dat’. Het denkmodel is het recept: een geordende lijst instructies. Vrijwel alle eerste programmeertalen die je leert (Python, C) zijn primair imperatief.

Het objectgeoriënteerde paradigma (OO, domein D) bouwt daarop voort maar organiseert de code rond objecten die data en gedrag bundelen (klassen, encapsulatie, overerving). Het is nog steeds imperatief van binnen — methoden bevatten opdrachten — maar de structuur verschuift van ‘een reeks stappen’ naar ‘samenwerkende objecten die berichten uitwisselen’. Afb. 1 toont een aanroepgraaf: hoe een hoofdprogramma zijn taak delegeert aan functies of methoden. OO munt uit bij grote systemen waarin je de werkelijkheid rechtstreeks in objecten modelleert.

Aanroepgraaf van een programma

Afb. 1Afb. 1 — Imperatieve/OO-code delegeert taken: het hoofdprogramma roept functies aan die op hun beurt weer functies aanroepen.

Beide paradigma’s delen een sleutelkenmerk: veranderlijke toestand. Variabelen en objectattributen wijzigen tijdens de uitvoering, en het resultaat hangt af van de volgorde waarin dat gebeurt. Dat maakt imperatieve en OO-code intuïtief en efficiënt, maar ook gevoelig voor fouten die met die veranderende toestand te maken hebben — twee delen van het programma die dezelfde variabele wijzigen, kunnen elkaar in de weg zitten. Juist dit kenmerk zet het functionele paradigma (sectie 2) op scherp, dat veranderlijke toestand vermijdt.

Het besef dat een paradigma een keuze is, niet een gegeven, is de kern van dit thema. Talen zijn zelden zuiver: moderne talen als Python of JavaScript zijn multiparadigma — je kunt er imperatief, objectgeoriënteerd én functioneel in werken. Een goede programmeur kiest bewust het paradigma (of de mix) dat bij het probleem past, en herkent aan andermans code welk paradigma gehanteerd is. Dat verbreedt je gereedschapskist ver voorbij ‘de ene manier’ die je toevallig het eerst leerde.

Uitgewerkt voorbeeld

Twee paradigma’s voor één taak

Beschrijf de aanpak van ‘tel de woorden in een tekst’ in het imperatieve en het objectgeoriënteerde paradigma.

Imperatief
Houd een teller bij; doorloop de tekst woord voor woord met een lus en verhoog de teller — een reeks opdrachten die een variabele veranderen.
Objectgeoriënteerd
Maak een object Tekst met een methode telWoorden(); het object bundelt de gegevens (de tekst) met het gedrag (tellen).
Vergelijk
Beide rekenen hetzelfde uit; het imperatieve draait om de stappen, het OO om het object dat de taak bezit.

Resultaat: Dezelfde taak, twee structuren: een reeks toestandsveranderende opdrachten versus een object met bijbehorend gedrag.

Veelgemaakte fouten

Denken dat een programmeertaal bij precies één paradigma hoort; de meeste moderne talen ondersteunen meerdere paradigma’s tegelijk.
Objectgeoriënteerd als iets volstrekt anders dan imperatief zien; OO organiseert imperatieve opdrachten rond objecten, maar de methoden zijn van binnen imperatief.

Actieve herhaling

Leg voor de taak ‘het gemiddelde cijfer van een klas berekenen’ uit hoe je die imperatief zou aanpakken en hoe objectgeoriënteerd. Benoem in beide gevallen de centrale bouwsteen.

Actief ophalen

Haal de kernpunten op — onthul ze daarna.

Bronnen: Examenprogramma informatica vwo — keuze J (imperatief en OO) (CvTE / Examenblad)

Functioneel programmeren en recursie#

Verdiepingexamenblad-informatica-J

Recursieboom van fib(4)

Afb. 2Afb. 1 — De recursieboom van fib(4): het probleem vertakt tot de basisgevallen; sommige deelproblemen (fib(2)) worden dubbel berekend.

Het functionele paradigma denkt niet in opdrachten die toestand veranderen, maar in functies die invoer op uitvoer afbeelden — zoals functies in de wiskunde. De twee kernideeën zijn pure functies en onveranderlijkheid. Een pure functie heeft geen neveneffecten: ze wijzigt niets buiten zichzelf en geeft voor dezelfde invoer altíjd dezelfde uitvoer. Waarden zijn onveranderlijk: in plaats van een variabele te wijzigen, maak je een nieuwe waarde. Dit sluit een hele klasse van fouten uit die met veranderende gedeelde toestand te maken hebben, en maakt code makkelijker te testen en te redeneren.

Omdat het functionele paradigma lussen (die op een veranderende teller steunen) liever vermijdt, is recursie er de natuurlijke manier om te herhalen. Een recursieve functie roept zichzelf aan op een kleiner deelprobleem, tot een basisgeval dat direct oplosbaar is. Elke recursieve definitie heeft daarom twee delen: het basisgeval (de stopvoorwaarde, zonder recursie) en de recursieve stap (het probleem terugbrengen tot een kleiner exemplaar van zichzelf). Ontbreekt het basisgeval, dan roept de functie zich eeuwig aan — de recursieve tegenhanger van de oneindige lus.

Recursie past perfect bij problemen met een zelfgelijkende structuur, precies de decompositie uit domein A. Afb. 1 toont de recursieboom van het berekenen van een Fibonacci-getal: fib(4) splitst in fib(3) en fib(2), die weer verder splitsen tot de basisgevallen fib(1) en fib(0). De boom maakt zichtbaar hoe het probleem zich vertakt — en onthult meteen een valkuil: sommige deelproblemen (zoals fib(2)) worden meerdere keren berekend. Dat verklaart waarom naïeve recursie soms exponentieel traag is (keuze G) en waarom je resultaten soms wilt onthouden.

Functioneel programmeren wint terrein omdat het uitblinkt waar veranderende toestand juist gevaarlijk is: bij parallelle en gelijktijdige berekeningen. Zijn functies puur en waarden onveranderlijk, dan kunnen delen van de berekening zonder risico tegelijk draaien — er is geen gedeelde toestand die corrupt kan raken. Kenmerkende functionele gereedschappen zijn hogere-ordefuncties die andere functies als argument nemen (zoals ‘pas deze bewerking toe op elk element’, ‘filter deze elementen’, ‘vouw deze lijst samen tot één waarde’). Talen als Haskell zijn zuiver functioneel, maar de ideeën — pure functies, onveranderlijkheid, recursie — zijn in vrijwel elke moderne taal bruikbaar en maken code betrouwbaarder.

n! = \begin{cases} 1 & \text{als } n = 0 \\ n \cdot (n-1)! & \text{als } n > 0 \end{cases}

Recursieve definitie van de faculteit

Het basisgeval 0! = 1 stopt de recursie; de stap brengt n! terug tot (n−1)!.

Uitgewerkt voorbeeld

Recursie naspelen: 4!

Bereken 4! met de recursieve definitie en laat zien hoe de aanroepen zich uitrollen en weer invullen.

Uitrollen
4! = 4·3!; 3! = 3·2!; 2! = 2·1!; 1! = 1·0!; 0! = 1 (basisgeval, stop).
Terug invullen
1! = 1·1 = 1; 2! = 2·1 = 2; 3! = 3·2 = 6; 4! = 4·6 = 24.
Controle
4! = 4·3·2·1 = 24, wat overeenkomt.

Resultaat: 4! = 24; de recursie rolt uit tot het basisgeval 0! = 1 en vult daarna van onder naar boven de waarden in.

Veelgemaakte fouten

Een recursieve functie schrijven zonder (bereikbaar) basisgeval, waardoor ze zichzelf oneindig blijft aanroepen (en de aanroepstapel volloopt).
Denken dat recursie altijd efficiënter of eleganter is; naïeve recursie kan deelproblemen dubbel berekenen en exponentieel traag worden.

Actieve herhaling

Definieer recursief de faculteit n! (met basisgeval 0! = 1 en stap n! = n · (n−1)!). Speel de berekening van 4! stap voor stap na tot het resultaat.

Actief ophalen

Haal de kernpunten op — onthul ze daarna.

Bronnen: Examenprogramma informatica vwo — keuze J (functioneel programmeren) (CvTE / Examenblad)

Logisch en declaratief programmeren#

Standaardexamenblad-informatica-J

Afleiding in een logisch programma

Afb. 3Afb. 1 — Uit feiten en een regel leidt de inferentiemotor een nieuw feit af (geautomatiseerde modus ponens).

Declaratief programmeren draait het perspectief om: je beschrijft wat je wilt bereiken, niet hoe de computer dat moet doen. Waar imperatieve code een stappenplan is, is declaratieve code een beschrijving van het gewenste resultaat, en zoekt het systeem zelf de weg erheen. Je kent al een declaratieve taal: SQL (keuze H). ‘SELECT naam WHERE cijfer > 5’ zegt wélke gegevens je wilt; hóe de database de rijen doorzoekt, bepaalt het zelf. Dit maakt declaratieve code vaak korter en dichter bij het probleem, ten koste van directe controle over de uitvoering.

Het logische paradigma is een declaratieve vorm gebaseerd op de logica (keuze G). Je geeft het systeem feiten en regels, en stelt dan een vraag; het systeem leidt zelf af of en hoe die te beantwoorden is. In de taal Prolog geef je bijvoorbeeld feiten als ‘Anna is ouder van Bob’ en een regel als ‘X is grootouder van Z als X ouder is van Y en Y ouder van Z’. Afb. 1 toont hoe uit twee feiten en die regel de nieuwe conclusie ‘Anna is grootouder van Cas’ wordt afgeleid — precies het geldig redeneren (modus ponens) uit keuze G, nu geautomatiseerd.

De motor onder logisch programmeren is afleiden (inferentie): het systeem combineert feiten met regels om nieuwe feiten te bewijzen, en zoekt daarbij systematisch naar combinaties die de vraag beantwoorden (met terugkeren als een weg doodloopt). Je programmeert dus niet de zoekprocedure, maar de kennis; de inferentiemotor doet het zoekwerk. Dit past bijzonder goed bij problemen die van nature uit feiten en regels bestaan: verwantschappen, roostervoorwaarden, expertsystemen en puzzels met beperkingen.

Elk paradigma heeft zijn thuis. Declaratief/logisch programmeren schittert waar de kennis ingewikkeld is maar de procedure om die te doorzoeken standaard — je beschrijft de regels en laat het zoeken over. Het is minder geschikt waar je juist fijne controle over de stappen of over de prestaties nodig hebt. Het diepere inzicht is dat imperatief (‘hoe’) en declaratief (‘wat’) twee complementaire manieren zijn om hetzelfde probleem te benaderen: soms is het natuurlijker de stappen te beschrijven, soms het gewenste resultaat. Beide kunnen lezen en herkennen hoort bij dit keuzethema.

Uitgewerkt voorbeeld

Een feit afleiden

Gegeven ouder(Bob, Cas), ouder(Cas, Daan) en de regel grootouder(X,Z) ← ouder(X,Y) ∧ ouder(Y,Z). Leid af wie grootouder is van Daan.

Koppel de regel
Zoek X, Y, Z zodat ouder(X,Y) én ouder(Y,Z). Kies Y = Cas, Z = Daan.
Vind de feiten
ouder(Bob, Cas) geeft X = Bob, Y = Cas; ouder(Cas, Daan) geeft Y = Cas, Z = Daan. Beide voorwaarden kloppen.
Leid af
De regel besluit grootouder(Bob, Daan).

Resultaat: Bob is de grootouder van Daan — afgeleid uit de twee feiten en de grootouder-regel.

Veelgemaakte fouten

Denken dat je in declaratief programmeren de zoekprocedure schrijft; je beschrijft de kennis (feiten en regels) en het systeem zoekt zelf de oplossing.
Logisch programmeren als ‘magisch’ zien; het leidt strikt af volgens de logica en kan niets concluderen dat niet uit de feiten en regels volgt.

Actieve herhaling

Gegeven de feiten ‘Bob is ouder van Cas’ en ‘Cas is ouder van Daan’ en de grootouder-regel. Leid af wie de grootouder van Daan is, en benoem de regel en feiten die je gebruikt.

Actief ophalen

Haal de kernpunten op — onthul ze daarna.

Bronnen: Examenprogramma informatica vwo — keuze J (logisch/declaratief programmeren) (CvTE / Examenblad)

Paradigma’s vergelijken#

Standaardexamenblad-informatica-J

De vier paradigma’s vergeleken

Afb. 4Afb. 1 — Elk paradigma heeft een eigen kernidee en munt uit bij andere soorten problemen.

Nu de vier paradigma’s bekend zijn, kun je ze vergelijken. Afb. 1 zet hun kernidee en een voorbeeldtaal naast elkaar. Het imperatieve paradigma denkt in toestandsveranderende opdrachten, het objectgeoriënteerde in objecten met data en gedrag, het functionele in pure functies zonder neveneffecten, en het logische/declaratieve in feiten en regels die beschrijven wat je wilt. Geen ervan is universeel het beste; elk maakt bepaalde problemen elegant en andere juist omslachtig.

De vergelijking loopt langs een aantal assen. Toestand: imperatief en OO omarmen veranderlijke toestand, functioneel vermijdt die. Controle: imperatief geeft fijne controle over elke stap, declaratief geeft die controle juist uit handen aan het systeem. Abstractieniveau: declaratieve code staat dichter bij het probleem (‘wat’), imperatieve dichter bij de machine (‘hoe’). Geschiktheid voor parallellisme: het functionele paradigma leent zich er uitstekend voor doordat er geen gedeelde veranderlijke toestand is. Deze assen geven je een taal om een paradigmakeuze te onderbouwen.

De keuze hangt af van het probleem. Een besturingssysteem of een spel met veel toestand en prestatie-eisen past bij imperatief/OO. Een gegevensverwerking die data transformeert zonder neveneffecten, of een berekening die parallel moet, past bij functioneel. Een probleem dat uit regels en feiten bestaat (verwantschap, planning met voorwaarden, een expertsysteem) past bij logisch/declaratief. Een databasevraag is declaratief (SQL). Het bewust motiveren van deze keuze — welk paradigma maakt dit probleem het natuurlijkst? — is precies wat dit keuzethema toetst.

In de praktijk combineer je paradigma’s. Multiparadigma-talen laten je binnen één programma het passende gereedschap per deelprobleem kiezen: de hoofdstructuur objectgeoriënteerd, een gegevensbewerking functioneel (met map/filter), een databasevraag declaratief in SQL. Een ervaren informaticus is niet trouw aan één paradigma maar kiest per situatie — net als je bij datastructuren (domein B) de structuur bij het gebruik kiest. Verschillende paradigma’s beheersen verbreedt letterlijk je vermogen om problemen op te lossen, want elk paradigma reikt een andere manier van denken aan.

Uitgewerkt voorbeeld

Het passende paradigma kiezen

Je moet alle leerlingen met een cijfer boven de 7 uit een database halen. Welk paradigma past en waarom?

Analyseer het probleem
Het gaat om het beschrijven van welke gegevens je wilt (cijfer > 7), niet om een zelfgeschreven zoekprocedure.
Match met een paradigma
Dit is bij uitstek declaratief: je beschrijft het gewenste resultaat en laat het systeem zoeken.
Kies de taal
SQL: SELECT naam FROM Leerling WHERE cijfer > 7 — kort, declaratief en dicht bij het probleem.

Resultaat: Een declaratieve aanpak (SQL) past het best: je beschrijft ‘wat’ (cijfer > 7) en de database bepaalt ‘hoe’.

Veelgemaakte fouten

Eén paradigma tot ‘het beste’ verklaren; de geschiktheid hangt af van het probleem, en in de praktijk combineer je paradigma’s.
Aannemen dat een taal je tot één paradigma dwingt; in multiparadigma-talen kies je per deelprobleem de passende stijl.

Actieve herhaling

Kies voor elk probleem een passend paradigma en motiveer: (a) een databasevraag naar alle klanten uit Utrecht; (b) een grote parallelle gegevensbewerking zonder neveneffecten; (c) een puzzel met logische voorwaarden (zoals een sudoku-oplosser).

Actief ophalen

Haal de kernpunten op — onthul ze daarna.

Bronnen: Examenprogramma informatica vwo — keuze J (paradigma’s vergelijken) (CvTE / Examenblad)

Referenties en bronnen

Bronnen

CvTE / Examenblad

Examenprogramma informatica vwo — keuze J (imperatief en OO)

Keuze J: Programmeerparadigma’s

Kernpunten

Twee paradigma’s voor één taak

Kernpunten

Recursie naspelen: 4!

Kernpunten

Een feit afleiden

Kernpunten

Het passende paradigma kiezen

Bronnen

Keuze J: Programmeerparadigma’s

Kernpunten

Twee paradigma’s voor één taak

Kernpunten

Recursie naspelen: 4!

Kernpunten

Een feit afleiden

Kernpunten

Het passende paradigma kiezen

Bronnen