Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

(1) , (1) , (1)
1

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01026148 , version 1

Cite

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⟩
349 View
468 Download

Share

Gmail Facebook Twitter LinkedIn More