Fortement typé

Définition - Que signifie fortement typé?

Fortement typé est un concept utilisé pour désigner un langage de programmation qui impose des restrictions strictes sur le mélange de valeurs avec des types de données différents. Lorsque ces restrictions sont violées et qu'une erreur (exception) se produit.

Definir Tech explique fortement typé

Les exemples de langages fortement typés existants incluent Java, Ruby, Smalltalk et Python. Dans le cas de Java, des erreurs de frappe sont détectées lors de la compilation. D'autres langages de programmation, comme Ruby, détectent les erreurs de frappe lors de l'exécution.

Dans les langages fortement typés, le comportement des opérations est plus prévisible que celui des langages faiblement typés. L'inconvénient est de devoir déclarer et taper toutes les variables et tous les paramètres - même si certains diront qu'il s'agit simplement d'un bon codage.

La différenciation entre les langues fortement typées et les langues faiblement typées est quelque peu floue. Certaines des langues considérées comme fortement typées permettent en fait des concessions qui les rendent faiblement typées. Prenez C #, par exemple. Alors que C # exige que toutes ses variables aient un type défini, il permet au programmeur de désactiver la vérification de type dynamique. Même Java, considéré comme l'un des langages de programmation les plus typés, permet aux objets d'être convertis en d'autres types.