Abstract : ELIOM is a dialect of OCAML for Web programming. It can be used both server and client-side. Server and client sections can also be mixed in the same file using syntactic annotations. This allows one to build a whole application as a single distributed program, in which it is possible to define in a composable way reusable widgets with both server and client behaviors. Our language also enables simple and type-safe communication. ELIOM matches the specificities of the Web by allowing the programmer to interleave client and server code while maintaining efficient one-way server-to-client communication. We present how the language extensions introduced by ELIOM enable a new paradigm for Web programming, and how this paradigm allows building complex libraries easily, safely, and in a composable manner.
https://hal.inria.fr/hal-01407898
Contributeur : Gabriel Radanne
<>
Soumis le : mercredi 31 mai 2017 - 15:19:16
Dernière modification le : mardi 24 avril 2018 - 13:21:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 17:12:11
Gabriel Radanne, Jérôme Vouillon, Vincent Balat, Vasilis Papavasileiou. ELIOM: tierless Web programming from the ground up . IFL, Aug 2016, Leuven, Belgium. 〈10.1145/3064899.3064901〉. 〈hal-01407898v2〉
