Skip to Main content Skip to Navigation
Conference papers

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

Julien Richard-Foy 1 Olivier Barais 1 Jean-Marc Jézéquel 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Julien Richard-Foy Connect in order to contact the contributor
Submitted on : Sunday, July 20, 2014 - 4:48:40 PM
Last modification on : Thursday, January 20, 2022 - 5:33:13 PM
Long-term archiving on: : Monday, November 24, 2014 - 8:48:16 PM


Files produced by the author(s)


  • HAL Id : hal-01026148, version 1


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⟩



Les métriques sont temporairement indisponibles