JavaScript est-il un langage non typé ?

Question

J'ai trouvé que certaines personnes appellent JavaScript un langage "dynamiquement, faiblement typé", mais certains disent même "non typé" ? Lequel est-il vraiment ?

Answer 1

JavaScript est non typée :

Même Brendan Eich le dit. Sur Twitter, il a répondu à un fil de discussion qui renvoyait à cette question :

... les types académiques utilisent "untyped" pour signifier "pas de types statiques"...

Le problème, c'est qu'il y a plusieurs définitions différentes de non typée .

Une définition a été évoquée dans l'une des réponses ci-dessus : le runtime ne marque pas les valeurs et traite simplement chaque valeur comme des bits. JavaScript fait et a un comportement différent en fonction de ces balises. JavaScript n'entre donc évidemment pas dans cette catégorie.

L'autre définition est celle de Théorie des langages de programmation (la chose académique à laquelle Brendan fait référence). Dans ce domaine, non typée signifie simplement tout appartient à un seul type .

Pourquoi ? Parce qu'un langage ne génère un programme que lorsqu'il peut prouver que les types sont alignés (alias. la correspondance Curry-Howard ; les types sont des théorèmes, les programmes sont des preuves). Cela signifie que dans un langage non typé :

1. Un programme est toujours généré
2. Par conséquent, les types toujours correspondre
3. Par conséquent, il ne peut y avoir que un type

Contrairement à un langage typé :

1. Un programme pourrait ne pas être généré
2. Parce que les types pourrait ne pas correspondre
3. Parce qu'un programme peut contenir multiple types

Et voilà, en PLT, non typée signifie simplement typée dynamiquement et dactylographié signifie simplement typée statiquement . JavaScript est définitivement non typé dans cette catégorie.

Voir aussi :

• Ce qu'il faut savoir avant de débattre des systèmes de type
• Est-ce que "non typé" signifie également "dynamiquement typé" dans le monde universitaire de la société civile ?

Answer 2

Système de dactylographie

• Faiblement typée signifie que la conversion de type est effectuée implicitement en coulisses :

  "12345" * 1 === 12345  // string * number => number

  Sur fortement typé vous devrez utiliser explicitement l'attribut chaîne de caractères à entier :

  (int) "12345" * 1 === 12345

• Typage dynamique signifie qu'une variable peut contenir des valeurs de différents types de données :

  x = 12345;    // number
  x = "string"; // string

  Sur typée statiquement les langues une variable ne peut avoir que des valeurs du type pour lequel elle a été déclarée :

  int x = 12345; // binds x to the type int
  x = "string"   // error

• Dactylographié signifie que la langue fait la distinction entre différents types tels que entier , float , chaîne de caractères , boolean et ainsi de suite. De plus, chaque opération est liée à des types spécifiques. Ainsi, vous ne pouvez pas diviser un entier par un chaîne de caractères .

  2 / "blah"  // produces NaN

  Sur non typée les langues l'opération de division entier par chaîne de caractères aurait pour conséquence de traiter les quatre premiers octets de chaîne de caractères comme entier et le résultat sera quelque chose de tout à fait inattendu :

  2 / "blah"  // will be treated as  2 / 1500275048

Answer 3

JavaScript est faiblement typée . Il n'est certainement pas "non typé", mais sa nature faiblement typée permet une grande flexibilité en termes de conversions implicites.

N'oubliez pas que JavaScript est également typée dynamiquement. Cette méthode de typage permet ce qui est connu sous le nom de "frappe de canard" .

Pour comparaison, considérez que JavaScript n'est pas fortement typé ni ne l'est typée statiquement. Parfois, comprendre ce que quelque chose n'est pas peut vous aider à mieux voir ce que c'est.

Answer 4

Selon l'auteur, JavaScript est également classé comme Typage dynamique . Wiki indique que les langages typés dynamiquement sont vérifiés au moment de l'exécution et non dans un compilateur, tandis que le typage faible fait référence à la possibilité de changer de type à la volée dans votre code. Donc oui, il est à la fois typés dynamiquement et faiblement typés.

Answer 5

Le problème ici, qui déroute beaucoup de programmeurs, est que les définitions de ce type ne sont pas normalisées quelque part. Le terme langage de programmation non typé est ambiguë. Est-ce que cela fait référence à une langue qui n'a pas types de données ou un langage qui est un lambda calculus variante non typée ?

JavaScript a un système de type et tous les domaines de ses fonctions accepteront tout var variable. Cela signifie donc que JavaScript a un seul type de données, en réalité. C'est une question d'implémentation qui est plus importante pour les programmeurs JavaScript très avancés. Le programmeur JavaScript moyen ne s'intéresse qu'à l'élément abstrait mis en œuvre par l'intermédiaire de la var qui ont été spécifiées par l'ECMAScript.

Dans le contexte du programmeur quotidien, et non du chercheur, le terme non typée est un terme mal choisi car la plupart des gens ne font pas de calcul lambda. Ainsi, le terme confond les masses et semble déclarer que JavaScript n'a pas de types de données, ce qui n'est tout simplement pas vrai. Quiconque a déjà utilisé typeof sait que les variables JavaScript mettent en œuvre leurs propres types de données abstraites :

var test = "this is text";
typeof(test);

donne

"string"

ECMAScript définit les types suivants pour le langage : undefined , null , string , boolean , number , object

http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf

Une désignation plus précise pour JavaScript serait implicitement typée, dynamiquement typée, ou faiblement/loosely typée (ou une combinaison de celles-ci), dans la mesure où JavaScript utilise type coercition dans certains cas, ce qui rend le type implicite car vous n'avez pas à spécifier explicitement le type de vos variables. Il est classé dans la catégorie des langages faiblement typés car, contrairement à certains langages qui font la distinction entre les flottants et les entiers, etc. number pour englober tous les nombres, et fait usage de la coercition de type mentionnée précédemment [Section 9 de la spécification ECMAScript].](http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf) En revanche, un langage fortement typé aurait des types de données très spécifiques (c'est-à-dire que vous devriez spécifier int ou float ).

Les définitions des langages à typage statique et dynamique ne sont pas normalisées, mais elles font le plus souvent référence à la présence de certaines caractéristiques du langage. L'une d'entre elles est Vérification de type au moment de l'exécution ou ce que l'on appelle contrôle de type dynamique . Si vous avez utilisé JavaScript, vous savez déjà qu'il attend définitivement le moment de l'exécution pour vérifier les types, c'est pourquoi vous obtenez TypeError exceptions pendant l'exécution de votre code. Exemple ici