A static type system is a mechanism by which a compiler examines source code and assigns labels (called “types”) to pieces of the syntax, and then uses them to infer something about the program’s behavior. A dynamic type system is a mechanism by which a compiler generates code to keep track of the sort of data (coincidentally, also called its “type”) used by the program. The use of the same word “type” in each of these two systems is, of course, not really entirely coincidental; yet it is best understood as having a sort of weak historical significance. Great confusion results from trying to find a world view in which “type” really means the same thing in both systems.
Schlagwort: Label
Stynamic Hype.
Bildungsschubladen.
Want hoe kan iemand zich nou volledig gewaardeerd voelen als diens niveau als 'laag' of 'lager' wordt ervaren? Wat doet dat met je zelfvertrouwen, als je van jongs af aan te horen krijgt dat jouw niveau lager is dan dat van anderen? En is het niet absurd dat meer dan de helft van onze bevolking dit stempel 'lageropgeleid' krijgt?
Ottilia Kasbergen & Jasper Schöbel: Schrap 'hoger-' en 'lageropgeleiden' uit ons vocabulaire
