TypedJS utilise les informations de typage de paramètres mis en commentaire des fonctions JavaScript pour effectuer une évaluation à la volée sur ces mêmes entrées et leurs usages.

Par exemple:

autre exemple:

Si l’évaluation de la cohérence des paramètres échoue, une exception se produit, de même si la valeur retournée par la fonction est en contradiction avec les spécifications celle-ci.

Comme les signatures de type fournissent une forme limitée de spécification aux fonctions, TypedJS est à même d’effectuer un test de cohérence rapide et plus rigoureux au processus de développement en Javascript.

Les informations de typage des fonctions sont semblables à ceux du langage Haskell.

Trois différents types primitifs sont supportés :

• Number
• String
• Boolean

Que l’ont peut mixer ensemble indifféremment :

• Number | String   // Number ou String
• Boolean | Number  // Boolean ou Number
• ...

De même pour les tableaux de types simples :

• [Number]            // Array of Numbers. Example instances => [3,4,5] or [45,62,34,78,23]
• [Number | String]   // Array of Numbers or Strings. Example instance => [3,"s",5,6,"h"]

Ou des énumérations de données de types multiples :

• (Number, String, Boolean, Boolean)  // An example instance => [4,"hello",true,true]
• (Boolean, Boolean)                  // An example instance => [true, false]

Sans oublier les définitions d’objets :

• {key1: String, key2:[Number], key3:{subkey1:String, subkey2: Number}}

TypedJS devrait bientôt fournir des formes plus complexes de spécifications et d’analyse des sources.

TypdesJS est distribué sous licence MIT.

Sources : https://github.com/Proxino/TypedJS

Exemples : https://github.com/Proxino/TypedJS/blob/master/examples/test.js