Typesysteem
De regels van een taal over welke types bestaan en hoe ze zich laten combineren.
Statisch (de compiler controleert) tegenover dynamisch (controle tijdens runtime). Sterk tegenover zwak (hoe streng de regels zijn). TypeScript: optionele statische typering bovenop het dynamische JS. Rust: uiterst streng. Python: dynamisch, met optionele type hints. Het is steeds een afweging tussen flexibiliteit en veiligheid.