* Agence Drupal Perpignan

***Web2007 est un bureau indépendant situé à Genève et a l'habitude de travailler pour des entreprises PARTOUT en France et en Europe

Agence Drupal Perpignan

Article:

On entend par typage statique, une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec l'Option Explicit1) pour associer à un symbole désignant une variable le type de la valeur dénotée par la variable ; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée. Une telle association présente les gains potentiels suivants :
Un compilateur de langage à typage statique distingue les erreurs de types avant que le programme ne soit exécuté (on obtient ainsi la sûreté du typage) ;
Le même compilateur peut tirer parti de l'information sur les types pour exécuter certaines optimisations du code objet ;
Enfin, d'autant plus que les types des objets manipulés sont connus, le compilateur peut éliminer cette information du code objet produit, avec pour principal avantage un gain de mémoire par rapport aux systèmes à typage dynamique.
En particulier, les langages à objets peuvent bénéficier du typage statique, pour détecter avant l'exécution des erreurs de types (par exemple la tentative d'additionner un entier avec une chaîne de caractères). Pourtant, la sûreté du typage et la programmation orientée objet se contredisent parfois, parce que le typage sûr va à l'encontre de la modélisation « naturelle » du ème à résoudre avec l'approche objet (redéfinition contravariante du type des paramètres des méthodes pour la sûreté du typage vs. redéfinition covariante dans l'approche objet).
Des langages comme Java et C++ favorisent l'invariance des types de retour et des paramètres de méthodes bien que dans ces deux langages, les types de retour puissent être covariants.
Les besoins de la modélisation (covariance du type des paramètres) suscitent des astuces plus ou moins discutables pour la simuler dans ces langages : il faut combiner des opérateurs de coercition descendante (downcast) et la surcharge statique de méthodes pour y arriver.
Le langage de programmation Eiffel autorise la redéfinition covariante du type des paramètres. Dans tous les cas, le programmeur doit anticiper des erreurs de type à l'exécution, comme dans les langages à typage dynamique. En résumé, il faut admettre que « les erreurs de type sont dans la nature »
UblimeText est un éditeur de texte générique codé en C++ et Python, présent sur Windows, Mac et Linux. Le logiciel a été créé en tant qu'une extension pour Vim, riche en fonctionnalités1. 44 langages de programmation majeurs sont pris en charge par l'éditeur depuis la version 2.0, sortie le 26 juin 2012,, tandis que des plugins sont souvent disponibles pour les langages plus rares.