Cursus Werken met Data Types

Les 1 • Wat datatypes voorstellen

Definieert datatypes als contracten tussen waarden en bewerkingen. Legt de woordenschat vast die gedurende de cursus wordt gebruikt.

Les 2 • Waarom typesystemen bestaan

Legt de motivaties voor veiligheid en efficiëntie achter typesystemen uit. Koppelt typediscipline aan minder runtime-fouten.

Les 3 • Sterke vs. zwakke typering

Onderscheidt strikte typehandhaving van permissieve coercie. Verheldert veelvoorkomende misverstanden over typesterkte.

Les 4 • Primitieve vs. samengestelde types

Contrasteert atomaire primitieve types met gestructureerde samengestelde types. Bereidt studenten voor om elk type dat ze tegenkomen te categoriseren.

Les 1 • Numerieke typepromotie en coercie

Beschrijft automatische verbredings- en vernauwingsconversies tussen numerieke types. Studenten voorspellen coercie-uitkomsten in expressies met gemengde types.

Les 2 • Integer-types en bereiken

Behandelt signed en unsigned integers over gangbare bitbreedtes. Studenten berekenen waardebereiken op basis van bitbreedte-formules.

Les 3 • Het juiste numerieke type kiezen

Past selectiecriteria toe op basis van bereik, precisie en prestatiebehoeften. Versterkt alle numerieke concepten door middel van beslissingsoefeningen.

Les 4 • Floating-point-representatie

Legt de IEEE 754 binaire representatie van reële getallen uit. Studenten identificeren precisieverlies en afrondingsartefacten.

Les 1 • Waarheidsgetrouwe en onwaarheidsgetrouwe waarden

Legt uit hoe niet-Booleaanse waarden worden gecoerceerd naar Booleaanse waarden in dynamische talen. Studenten vermijden veelvoorkomende bugs met waarheidsgetrouwe waarden.

Les 2 • Null en undefined als speciale waarden

Onderzoekt null en undefined als aparte markeringen voor afwezigheid van waarde. Studenten passen null-veiligheidspatronen toe om null-referentiefouten te voorkomen.

Les 3 • Basisprincipes van karaktercodering

Introduceert ASCII en Unicode als basis voor karaktertypes. Studenten koppelen karakters aan codepunten en bytereeksen.

Les 4 • Het karaktertype in de praktijk

Behandelt hoe talen een enkel karakter en de bewerkingen ervan representeren. Overbrugt karaktertypes naar stringconstructie.

Les 1 • Stringvalidatie en -normalisatie

Past regex en Unicode-normalisatie toe om invoerstrings te valideren en op te schonen. Koppelt aan gegevenskwaliteit en beveiligingsvereisten.

Les 2 • Stringopmaak en interpolatie

Leert formaatstrings, template literals en interpolatiesyntax. Studenten produceren leesbare, injectie-veilige opgemaakte uitvoer.

Les 3 • Interne werking van strings en geheugenlay-out

Onthult hoe strings in het geheugen worden opgeslagen als reeksen karakters. Koppelt de interne lay-out aan prestatie-implicaties.

Les 4 • Kernbewerkingen op strings

Behandelt slicen, zoeken, vervangen en splitsen van strings. Bouwt de gereedschapskist voor manipulatie die in al het latere tekstwerk wordt gebruikt.

Les 1 • Dynamische lijsten en vergrootbare arrays

Legt uit hoe dynamische lijsten groeien door back-arrays te heralloceren. Studenten begrijpen geamortiseerde kosten en capaciteitsbeheer.

Les 2 • Het juiste collectietype kiezen

Past selectiecriteria toe op basis van ordening, uniciteit en toegangspatronen. Synthetiseert alle collectietypes door middel van vergelijkende oefeningen.

Les 3 • Sets: collecties van unieke elementen

Introduceert sets als ongeordende collecties met uniciteitsgaranties. Studenten passen setbewerkingen toe op deduplicatie en lidmaatschapstesten.

Les 4 • Arrays: reeksen met vaste grootte

Behandelt aaneengesloten geheugenarrays, indexering en grenzencontrole. Vestigt arrays als basis voor alle collectietypes.

Les 5 • Maps en key-value-opslag

Behandelt hash maps en tree maps als associatieve gegevensstructuren. Studenten implementeren patronen voor opzoeken, invoegen en iteratie.

Les 1 • Ontwerpen voor typeveiligheid

Past typeveilige ontwerppatronen toe om conversiefouten door constructie te voorkomen. Versterkt veiligheidsprincipes bij alle eerder bestudeerde types.

Les 2 • Typefouten en debuggen

Catalogiseert veelvoorkomende typefouten en hun oorzaken. Studenten gebruiken foutmeldingen en stacktraces om typebugs te lokaliseren en te verhelpen.

Les 3 • Expliciete castingtechnieken

Behandelt veilige en onveilige castsyntax in verschillende paradigma's. Studenten passen het least-privilege-castingprincipe toe om gegevensverlies te minimaliseren.

Les 4 • Type guards en runtime-controles

Introduceert runtime-type-inspectie om types te valideren voor gebruik. Koppelt type guards aan defensieve programmeerpatronen.

Les 1 • Type-aliasen en newtype-wrappers

Onderscheidt transparante aliasen van ondoorzichtige newtype-wrappers. Studenten verbeteren de codehelderheid en voorkomen fouten door eenhedenverwarring.

Les 2 • Enumeraties en benoemde constanten

Definieert enums als gesloten verzamelingen benoemde waarden. Studenten vervangen magic numbers en strings door typeveilige enumeraties.

Les 3 • Recursieve en recursief-variant-types

Modelleert zelfreferentiële structuren zoals bomen en gelinkte lijsten. Koppelt recursieve types aan de implementatie van gegevensstructuren.

Les 4 • Union- en sum-types

Introduceert types die tijdens runtime een van meerdere alternatieve types kunnen bevatten. Studenten gebruiken exhaustieve pattern matching om veilig alle varianten af te handelen.

Les 1 • Type-inferentie en -annotatie

Legt uit hoe compilers automatisch types afleiden en wanneer expliciete annotaties vereist zijn. Studenten balanceren het gemak van inferentie met de duidelijkheid van annotatie.

Les 2 • Types in API- en schema-ontwerp

Past type-denken toe op API-contracten, serialisatieschema's en gegevensuitwisselingsformaten. Studenten ontwerpen API's die intentie communiceren via types.

Les 3 • Typesystemen evalueren over talen heen

Vergelijkt typesystemen van verschillende gangbare talen met behulp van consistente criteria. Studenten selecteren het juiste taaltypesysteem voor een gegeven projectcontext.

Les 4 • Generics en parametrische types

Introduceert typeparameters die herbruikbare, typeveilige abstracties mogelijk maken. Studenten schrijven generieke functies en containers zonder veiligheid op te offeren.