Static Typing & Java']JavaScript Libraries: Towards a More Considerate Relationship

被引：0

作者：

Canou, Benjamin ^{[1
]}

Chailloux, Emmanuel ^{[1
]}

Botbol, Vincent ^{[2
]}

机构：

[1] Sorbonne Univ, LIP6, Univ Pierre & Marie Curie, UMR 7606, 4 Pl Jussieu, F-75005 Paris, France

[2] Sorbonne Univ, Univ Pierre & Marie Curie, F-75005 Paris, France

来源：

PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON WORLD WIDE WEB (WWW'13 COMPANION) | 2013年

关键词：

!text type='Java']Java[!/text]Script; OCaml; Static Typing; Interoperability;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：15 / 17

页数：3