Typage fort


Typage fort
Article principal : Typage.

En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées. Par opposition, un langage sans typage fort est dit faiblement typé.

Depuis son invention, le terme de typage fort a été employé avec de nombreux sens contradictoires, ce qui lui a enlevé presque toute signification. La liste qui suit rassemble quelques affirmations possibles sur le typage fort, avec des exemples de langages fortement typés et respectant le critère.

Conditions

Un langage est fortement typé si :

  1. la compilation ou l'exécution peuvent détecter des erreurs de typage. Si ces erreurs ne sont jamais reconnues, le langage est faiblement typé (c'est, par exemple, le cas de PHP).
  2. les conversions implicites de types sont formellement interdites. Si de telles conversions sont possibles, le langage est faiblement typé. Exemples répondant à ce critère : OCaml, Haskell.

Il est cependant assez difficile de donner une définition précise du typage fort.

Ainsi, un expert en langages de programmation raconte :

« J'ai passé quelques semaines à essayer de clarifier les terminologies "fortement typé", "statiquement typé", "sûr", etc., et j'ai trouvé cela extraordinairement difficile... L'utilisation de ces termes est si diverse qu'elle les rend presque inutiles. »

— Benjamin C. Pierce


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Typage fort de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Typage faible — Typage fort Article principal : Typage. En informatique, un langage de programmation est dit fortement typé lorsqu il garantit que les types de données employés décrivent correctement les données manipulées. Par opposition, un langage sans… …   Wikipédia en Français

  • Typage — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… …   Wikipédia en Français

  • Fort (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Fort (homonymie) », sur le Wiktionnaire (dictionnaire universel) Fort peut correspondre à un adjectif …   Wikipédia en Français

  • typage — ● n. m. ►TYPE Opération consistant à donner un type à une donnée. Le typage peut être fort ou faible, selon qu on insiste lourdement ou pas sur la nécessité de le respecter (il est interdit d additionner des carottes et des choux en Ada, il est… …   Dictionnaire d'informatique francophone

  • fort — ● adj. ►TYPE Contraire faible. * Qui compte le plus. Exemple: le bit de poids fort d un octet est celui situé le plus à gauche (c est celui qui influe le plus sur la valeur de l octet, tout comme le 2 dans le nombre 2003 ). * Un typage est dit… …   Dictionnaire d'informatique francophone

  • Système de type — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… …   Wikipédia en Français

  • Système de types — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… …   Wikipédia en Français

  • Type (informatique) — Pour les articles homonymes, voir Type (homonymie). En programmation informatique, un type de donnée, ou simplement type, définit les valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. Sommaire 1 Types… …   Wikipédia en Français

  • Type de données — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… …   Wikipédia en Français

  • Types de données — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… …   Wikipédia en Français