Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces

Résumé

The popularity of statically typed programming languages compiling to JavaScript shows that there exists a fringe of the programmer population interested in leveraging the benefits of static typing to write Web applications. To be of any use, these languages need to statically expose the Web browser dynamically typed native API, which seems to be a contradiction in terms. Indeed, we observe that existing statically typed languages compiling to JavaScript expose the browser API in ways that either are not type safe, or when they are, typically over constrain the programmers. This article presents new ways to encode the challenging parts of the Web browser API in static type systems such that both type safety and expressive power are preserved. Our first encoding relies on type parameters and can be implemented in most mainstream languages but drags phantom types up to the usage sites. The second encoding does not suffer from this inconvenience but requires the support of dependent types in the language.
Fichier principal
Vignette du fichier
icwe14.pdf (357.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01026148 , version 1 (20-07-2014)

Identifiants

  • HAL Id : hal-01026148 , version 1

Citer

Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel. Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces. ICWE - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. ⟨hal-01026148⟩
362 Consultations
480 Téléchargements

Partager

Gmail Facebook X LinkedIn More