Cursus Programmeertalen

Les 1 • Geschiedenis en evolutie van talen

Traceert de taalontwikkeling van assembly tot moderne paradigma's. Biedt historische context om huidige ontwerpbeslissingen te begrijpen.

Les 2 • Wat is een programmeertaal

Definieert programmeertalen als formele systemen voor het uitdrukken van berekeningen. Stelt de woordenschat vast die gedurende de cursus wordt gebruikt.

Les 3 • Taalclassificatie en paradigma's

Categoriseert talen per paradigma: imperatief, functioneel, logisch en objectgeoriënteerd. Bereidt studenten voor om elke taal te evalueren aan de hand van een taxonomie.

Les 1 • Abstracte-syntaxisbomen

Onderscheidt abstracte-syntaxisbomen van parse-bomen en legt hun rol bij compilatie uit. Bereidt studenten voor op semantische analyse in latere hoofdstukken.

Les 2 • Top-down en bottom-up parsering

Vergelijkt recursief-dalende en shift-reduce parsingstrategieën. Rust studenten uit om geschikte parsers te kiezen en implementeren.

Les 3 • Lexicale analyse en tokenisatie

Behandelt de rol van de lexer in het omzetten van brontekst naar tokens vóór het parsen. Overbrugt ruwe broncode en grammaticaniveau-analyse.

Les 4 • Parse-bomen en ambiguïteit

Legt uit hoe parse-bomen syntactische structuur vertegenwoordigen en hoe ambiguïteit deterministische parsering ondermijnt. Ondersteunt direct vaardigheden in grammaticaontwerp.

Les 1 • Benaderingen van formele semantiek

Introduceert operationele, denotationele en axiomatische semantiek als complementaire kaders. Legt de basis voor het redeneren over programmacorrectheid.

Les 2 • Grondslagen van typesystemen

Definieert types, typecontrole en het spectrum van statisch naar dynamisch typen. Verbindt typediscipline met programmabetrouwbaarheid.

Les 3 • Type-inferentie en polymorfisme

Behandelt algoritme-gebaseerde type-inferentie en parametrisch polymorfisme. Toont aan hoe talen algemeenheid bereiken zonder veiligheid op te offeren.

Les 1 • Variabelen en opslagmodellen

Onderzoekt variabeleattributen—naam, type, waarde, levensduur—en hoe opslag wordt toegewezen. Legt de basis voor alle daaropvolgende discussies over scope en binding.

Les 2 • Naamruimten en modules

Behandelt naamruimtemechanismen die de globale scope partitioneren en grootschalige programma's ondersteunen. Overbrugt scopetheorie naar praktische softwareorganisatie.

Les 3 • Scoperegels en zichtbaarheid

Contrasteert statische (lexicale) en dynamische scoping en hun effecten op naamresolutie. Heeft directe invloed op hoe studenten code lezen en schrijven in elke taal.

Les 1 • Concurrency en coroutines

Introduceert threads, async/await en coroutines als geavanceerde controlestroomabstracties. Breidt gestructureerd programmeren uit naar gelijktijdige uitvoeringsmodellen.

Les 2 • Subprogramma's en parameterdoorgeving

Onderzoekt functie- en procedureontwerp, inclusief alle parameterdoorgeefmodi. Verbindt met scope- en bindingsconcepten uit het vorige hoofdstuk.

Les 3 • Conditionele en selectie-instructies

Behandelt if-else, switch en patroonmatchingconstructies in alle paradigma's. Stelt de basis voor alle studie van controlestroom.

Les 4 • Iteratie en lusconstructies

Analyseert tellergestuurde, voorwaardegestuurde en collectie-gebaseerde lussen. Bereidt studenten voor om te redeneren over terminatie en efficiëntie.

Les 1 • OOP-ontwerppatronen in de praktijk

Past klassieke ontwerppatronen toe om OOP-principes te versterken. Overbrugt taalfuncties naar professionele softwarearchitectuur.

Les 2 • Kernconcepten van imperatieve talen

Bespreekt toewijzing, volgordelijkheid en toestandsmutatie als de basis van imperatief programmeren. Verankert OOP-studie in procedurele wortels.

Les 3 • Klassen, objecten en encapsulatie

Definieert klassen als sjablonen en objecten als instanties, met nadruk op encapsulatie. Bouwt de structurele woordenschat voor OOP-ontwerp.

Les 4 • Overerving en polymorfisme

Behandelt enkelvoudige en meervoudige overerving, method-overriding en dynamische dispatch. Verbindt typesysteemconcepten met OOP-runtimegedrag.

Les 1 • Hogere-ordefuncties en closures

Behandelt map, filter, fold en closure capture als fundamentele functionele hulpmiddelen. Bouwt voort op kennis van scope en binding uit eerdere hoofdstukken.

Les 2 • Algebraïsche datatypes en patroonmatching

Gebruikt som- en producttypes met patroonmatching om data precies te modelleren. Versterkt typesysteemconcepten in een functionele context.

Les 3 • Kernconcepten van functioneel programmeren

Introduceert zuivere functies, onveranderlijkheid en referentiële transparantie als de pijlers van functioneel programmeren. Contrasteert met imperatieve toestandsmutatie.

Les 4 • Recursie en staartaanroepoptimalisatie

Onderzoekt recursie als het primaire iteratiemechanisme en staartaanroepoptimalisatie als een prestatiestrategie. Verbindt met controlestroomconcepten.

Les 1 • Handmatig geheugenbeheer

Behandelt expliciete toewijzing en vrijgave, inclusief veelvoorkomende fouten zoals lekken en verwijzingen naar vrijgegeven geheugen. Verbindt met concepten van variabelelevensduur.

Les 2 • Runtime-systeemarchitectuur

Verkent de componenten van een taal-runtime: call-stack, heapbeheerder en GC-integratie. Synthetiseert alle geheugenonderwerpen tot een uniform model.

Les 3 • Garbage Collection-algoritmen

Onderzoekt mark-and-sweep, referentietelling en generationele GC-strategieën. Rust studenten uit om te redeneren over GC-overhead en pauzetijden.

Les 4 • Geheugenindeling en -toewijzing

Beschrijft stack-, heap- en statische geheugenregio's en hoe talen objecten toewijzen. Legt de basis voor alle discussies over geheugenbeheer.