Les standards de JavaScript (ECMAScript)

À la manière du sujet sur les standards du C, mais plus bref, car il y a moins à en dire.

Il existe un standard en deux versions pour JavaScript, formellement ECMAScript; un projet de standard pour un ECMAScript typé — régulièrement repoussée à une date ultérieur — au moins une formalisation de la sémantique et une ébauche de profil standard visant l’efficacité.

Le standard

La dernière version est l’édition 5, de 2011. L’édition 3 datant de 1999, reste encore une référence. L’édition 4 devait apporter le typage, mais fût abandonnée et laissa la place à l’édition 5, plus dans le fil directe de l’édition 3 (contrairement à l’édition 4 qui devait apporter des changements « radicaux »). L’édition 6 est actuellement (Septembre 2014) à l’état d’ébauche.

• ECMA‑262 5th Edition — ECMAScript Language Specification (ecma-international.org) [PDF]. Juin 2011.
• ECMAScript® Language Specification (ecma-international.org). Juin 2011, version HTML.
• ECMA‑262 3rd Edition — ECMAScript Language Specification (ecma-international.org) [PDF]. Décembre 1999.

En marge de ces références, une version annotée au format HTML, qui n’est pas la spécification normative : Annotated ECMAScript 5.1 (es5.github.io). Septembre 2013.

Formalisation de la sémantique

Ces documents ne sont pas des standards; ils formalisent tout ou partie de celui‑ci.

• An Operational Semantics for JavaScript (seclab.stanford.edu) [PDF]
• The Essence of JavaScript (cs.brown.edu) [PDF]
• Status Report: Specifying JavaScript with ML (soe.ucsc.edu) [PDF]

Il a existé une spécification exécutable, sous forme d’implémentation de référence en SML, pour ECMAScript 4. Cette implémentation est devenue introuvable. Quoiqu’il en soit, elle présenterait peu d’intérêt pratique (mais un intérêt théorique, toujours), comme ECMAScript 4 a été abandonné.

Profils JavaScript

Il existe au moins un profil JavaScript, visant l’efficacité, nommé asm.js (en minuscule et avec un point) : asm.js (asmjs.org). Actuellement à l’état d’ébauche.

Ce n’est pas un nouveau langage en remplacement de JavaScript, c’est un profil de JavaScript, qui ne présente aucune obligation, et seulement des recommandations. Ce standard recommande que certaines constructions, choisies avec raisons à cette fin, soit interprétées d’une manière particulièrement optimisées, par les implémentations (principalement les navigateurs). Ce profil garanti aux applications JavaScript qui s’y restreignent, le maximum d’opportunité d’optimisation sur les implémentations suivant ces recommandations. Il n’est pas nécessaire pour une implémentation, de suivre toutes les recommandations, pas plus qu’il n’est nécessaire pour une application JavaScript, de strictement se restreindre à ce profil.

Une version du standard, mise en forme comme un fichier d’aide HTML : ECMAScript® 2017 Language Specification (tc39.github.io).

Le spécification d’un concept maintenant natif en JavaScript, les objets Promise : promisesaplus.com.

Le même standard pourrait s’appliquer à d’autres langages que ECMAScript.

En cas de migraine à la lecture de ce court standard, voir cette introduction aux concepts : JavaScript Promises: an Introduction (google.com), 2017.

Un bon document pédagogique sur ECMAScript 6, en un eBook au prix de 35 €, également consultable en ligne : Exploring ES6 (exploringjs.com), Dr. Axel Rauschmayer.

L’auteur a la bonté de mettre à disposition gratuitement en ligne, son eBook payant, alors merci de respecter l’auteur et de désactiver tout éventuel bloqueur publicitaire sur la version en ligne gratuite.

Non‑officielle et indépendante de l’ECMA, il existe une sémantique formelle pour ECMAScript 5.1 : KJS: A Complete Formal Semantics of JavaScript (fsl.cs.illinois.edu), 2015.

Comme ECMAScript 6 ne modifie pas la sémantique du langage, ne fait « que » ajouter des sucres syntaxiques et de nouvelles classes (Promise, pour la plus célèbre), il devrait être possible de considérer que cette sémantique formelle s’applique aussi à ES6.