Skip to Main content Skip to Navigation
Conference papers

Static Typing and JavaScript Libraries: Towards a More Considerate Relationship

Benjamin Canou 1 Emmanuel Chailloux 1 Vincent Botbol
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : In this paper, after relating a short history of the mostly unhappy relationship between static typing and JavaScript (JS), we explain a new attempt at conciliating them which is more respectful of both worlds than other approaches. As an example, we present Onyo [1], an advanced binding of the Enyo JS library for the OCaml language. Onyo exploits the expressiveness of OCaml’s type system to properly encode the structure of the library, preserving its design while statically checking that it is used correctly, and without introducing runtime overhead.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications <>
Submitted on : Thursday, October 15, 2015 - 2:52:41 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM


  • HAL Id : hal-01216057, version 1


Benjamin Canou, Emmanuel Chailloux, Vincent Botbol. Static Typing and JavaScript Libraries: Towards a More Considerate Relationship. International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17. ⟨hal-01216057⟩



Record views