Static Typing and JavaScript Libraries: Towards a More Considerate Relationship
| Autor: | Canou, Benjamin, Chailloux, Emmanuel, Botbol, Vincent |
|---|---|
| Přispěvatelé: | Algorithmes, Programmes et Résolution (APR), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Publications, Lip6 |
| Jazyk: | angličtina |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | International World Wide Web Conference, dev track International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|