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 Contributor : Gabriel RadanneConnect in order to contact the contributor Submitted on : Wednesday, May 31, 2017 - 3:19:16 PM Last modification on : Sunday, June 26, 2022 - 10:01:11 AM Long-term archiving on: : Wednesday, September 6, 2017 - 5:12:11 PM
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⟩