Le langage Ada fut le premier à mettre l'accent sur les vérifications de types à la compilation et à l'exécution.

Des lanfages comme Java et C++ ont suivi dans cette politique précautionneuse Look Before You Leap.

Ask Forgiveness than Permission traduit une prise de risque de la part du programmeur qui programme lui-même les contrôles quitte à en oublier..