Τι είναι μια αυστηρά τυποποιημένη γλώσσα προγραμματισμού;

Η γλώσσα στην οποία ο τύπος κάθε μεταβλητής, έκφρασης ή λειτουργίας ορίζεται πριν από τη μεταγλώττιση ή κατά τη διάρκεια εκτέλεσης, και ο μεταγλωττιστής ή το περιβάλλον εκτέλεσης ελέγχουν αυστηρά τη συμφωνία των τύπων κατά τις λειτουργίες. Αυτό αποτρέπει σφάλματα που σχετίζονται με ασυμβατότητες τύπων σε πιο πρώιμα στάδια ανάπτυξης.