Streng getypte Programmiersprachen

Eine streng getypte Programmiersprache ist eine Programmiersprache, in der jedes Datum einen eindeutig bestimmten Typ besitzt. Dieser kann insbesondere nicht geändert werden. Somit lässt sich zum Moment der Übersetzung bereits entscheiden, ob übergebene Werte den passenden Typ besitzen und verarbeitet werden können.