Savoir si on parle d’un langage typé, dynamique, interprété ou objet, c’est savoir immédiatement de quoi on parle et comprendre les avantages et les inconvénients.
Vous le savez, en programmation informatique tout est une histoire de code. Le code source d’une application, d’un logiciel ou même d’une page web dépend du langage de programmation choisi. Il existe un grand nombre de langages : PHP, C, Perl, Java, Swift, Python, JavaScript pour n’en citer que quelques-uns. Chaque information, ou instruction, transmise par le code, ou la langue, est programmée par des variables, des opérateurs, des fonctions, des objets, etc. Chaque langage possède une syntaxe et un type spécifique : fortement ou faiblement, mais aussi dynamique, statique, interprété, etc.
Typé ou fortement typé
En informatique, un langage typé, aussi appelé fortement typé, est un langage dans lequel les types utilisés dans le code source (fonction, variable, etc.) sont vérifiés au moment de la compilation. Le compilateur vérifie la cohérence des types et des données (valeurs) utilisées. Parmi les langages de programmation fortement typés on peut noter C ou PHP (utilisé pour le Web notamment), par exemple. Ce typage fort n’est pas permissif, dans le sens où le développeur ne peut pas contourner le typage imposé et il doit respecter le type défini.
Par exemple, vous ne pouvez pas utiliser un nombre entier sur une valeur flottante, ou encore une chaîne de caractères, alors que l’on attend un entier. Vous devez donc respecter les types de valeurs / données. Ce typage fort évite les mauvaises surprises en exécution, comme des erreurs de calcul et des exceptions. Parfois, quand on reprend un ancien code, on découvre, avec surprise, les problèmes de typage, et il faut alors redonner de la cohérence afin d’obtenir un résultat correct et éviter l’apparition d’une erreur après passage dans le compilateur. Le typage fort est contraignant, car on doit être rigoureux.
Un langage définit, par défaut, des types que l’on retrouve partout : booléen (vrai / faux, 0 ou 1), entier, caractères, virgule flottante, string, etc. Vous l’aurez compris, dans un langage typé, il n’est pas possible d’avoir une autre valeur pour un booléen qu’un flag true ou false, ou 0 ou 1. Toute autre valeur génère une erreur en compilation ou en exécution, si vous êtes dans un langage dynamique / interprété (comme Ruby ou Python). Quand le typage est vérifié à la compilation, on parle de langage typé statique (Java, Pascal, VB).
On peut manipuler les valeurs d’un type. Par exemple, si vous utilisez un type char (caractère) vous pouvez transformer la chaîne. Par exemple, on met en minuscule la valeur en majuscule en utilisant un char tolower. La syntaxe changera selon le langage, mais le principe reste le même. Même si le typage fort apporte une certaine sécurité et cohérence, il est possible de convertir des valeurs typées vers un autre type. Il est fréquent de convertir un float en int (integer, entier) ou inversement.
Typage dynamique
Une autre approche existe : les langages à typage dynamique (typed dynamic). Dans ces langages, le typage est réalisé dynamiquement par le langage. Il va définir lui-même le type selon la nature de la valeur : un string, un integer, etc. Ce typage est fait à l’exécution du code. Vous l’aurez compris, le typage n’est pas analysé en compilation. L’avantage est un codage plus souple et souvent plus rapide. Dans certains contextes, le développeur ne connaît pas à l’avance la type de valeur qui sera fourni.
Cependant, le typage dynamique n’a pas toujours bonne réputation : consommation de mémoire et temps de processeur pour pouvoir typer à la volée, difficulté de debug, performances, codes moins maintenables. Parmi les langages dynamiques les plus connus on peut compter Python ou javaScript.
Non typé ou faiblement typé
Un langage dit non typé, ou faiblement typé, se préoccupe peu des types. Cela permet de chaîner des valeurs de différents types. Ces langages sont très flexibles et, par définition, on peut utiliser n’importe quelle variable pour tout type de valeur. Cependant, attention, un typage faible signifie aussi que vous perdez une certaine cohérence et qu’il devient très difficile de vérifier ou de déterminer le typage d’une valeur d’une variable.
Il est aussi possible d’utiliser ce que l’on appelle l’inférence de types. Dans un langage à typage statique, on peut demander au compilateur de déterminer le type. C# et Java, pour ne citer qu’eux, permettent cette souplesse. Dans ces langages, on utilise l’inférence avec le mot-clé var.
D’une manière générale, quand vous connaissez les valeurs, évitez d’utiliser l’inférence partout et pour n’importe quoi. Oui, l’inférence apporte un typage dynamique, notamment pour les variables locales ou dans des contextes de données incertains, mais comme souvent en programmation, il ne faut pas en abuser et ne pas transformer votre langage typé en langage faiblement typé. Vous allez à contre-sens de la structure du langage.
Interprété ou natif
Dans les apps mobiles, on parle souvent d’applications natives et d’applications hybrides. L’app native signifie que le code est écrit avec un langage compilé. Typiquement, C++, C, Swift, Kotlin, etc. Une application Kotlin ou Swift est un binaire exécutable que l’on installe sur l’OS. Si vous faites du multiplateforme avec C# (Xamarin), vous générez des exécutables pour chaque cible (target de compilation). Il faut générer un binaire exécutable par target.
Un langage interprété nécessite un interpréteur, un runtime, pour pouvoir exécuter le code. Par exemple, un code Java a besoin d’une JVM (machine virtuelle), et Perl a besoin de perl. Python est, lui aussi, un langage interprété. Un langage interprété est réputé portable, mais on perd souvent en performance. Même si, aujourd’hui, les runtimes et les moteurs d’exécution ont fait énormément de progrès. Il est possible de faire du JIT (Just in Time) en Python par exemple, avec l’implémentation PyPy. Le JIT est une compilation à la volée du code. On retrouve le JIT en Java ou en JavaScript.
JavaScript est un langage interprété. Pour l’exécution, il faut utiliser un moteur d’exécuteur JS. L’un des plus connus est V8, de Google. Mais, pour l’utilisateur, c’est transparent car c’est le navigateur qui embarque ce moteur (quand vous êtes en JavaScript front-end).
Source: Ludovic Creative
