Tierless Web Programming in the Large

Radanne, Gabriel; Vouillon, Jérôme

doi:10.1145/3184558.3185953

Cited by 7 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Eliom (Radanne, 2017;Radanne and Vouillon, 2018), there are a few features to discuss for comparison. First, it supports a macro feature called shared sections, which makes it possible to write code for the client and for the server at the same time.…”

Section: Related Work and Discussionmentioning

confidence: 99%

See 1 more Smart Citation

A polymorphic RPC calculus

Choi

Cheney

Fowler

et al. 2020

Science of Computer Programming

View full text Add to dashboard Cite

Section: Related Work and Discussionmentioning

confidence: 99%

“…Note that the Eliom (Radanne, 2017;Radanne and Vouillon, 2018) compiler also uses code duplication to support a kind of location polymorphism, what they call shared sections in the expression-level and mixed modules in the module-level. In the related work, we will discuss these features in detail.…”

Section: Let Us Consider Another Map Function Of Type ∀Lmentioning

confidence: 99%

A polymorphic RPC calculus

Choi

Cheney

Fowler

et al. 2020

Science of Computer Programming

View full text Add to dashboard Cite

“…E allows to preserve these abstraction capabilities while enjoying the free-form tierless programming style. The O ecosystem uses these concepts to provide numerous additional tools such as advanced communication patterns, shared HTML across tiers or even distributed Functional Reactive Programming [Radanne et al 2016a;Radanne and Vouillon 2018;Tutorial 2017]. All these advanced mechanisms are used in production by E users.…”

Section: Going Furthermentioning

confidence: 99%

Eliom: A Core ML Language for Tierless Web Programming

Radanne

Vouillon

Balat

2016

Programming Languages and Systems

Self Cite

View full text Add to dashboard Cite

Tierless Web programming languages allow programmers to combine client-side and server-side programming in a single program. Programmers can then define components with both client and server parts and get flexible, efficient and typesafe client-server communications. However, the expressive client-server features found in most tierless languages are not necessarily compatible with functionalities found in many mainstream languages. In particular, we would like to benefit from type safety, an efficient execution, static compilation, modularity and separate compilation.In this paper, we propose E , an industrial-strength tierless functional Web programming language which extends OC with support for rich client/server interactions. It allows to build whole applications as a single distributed program, in which it is possible to define modular tierless libraries with both server and client behaviors and combine them effortlessly. E is the only language that combines type-safe and efficient client/server communications with a static compilation model that supports separate compilation and modularity. It also supports excellent integration with OC , allowing to transparently leverage its ecosystem.To achieve all these features, E borrows ideas not only from distributed programming languages, but also from meta-programming and modern module systems. We present the design of E , how it can be used in practice and its formalization; including its type system, semantics and compilation scheme. We show that this compilation scheme preserves typing and semantics, and that it supports separate compilation.This juggling of many different technologies does not only make programming more complicated, it also imposes strong constraints on code organization and prevents modularity. Let us consider the case where we want to add a comment widget to a website. This widget requires J S code for client interactions, for example a convenient editor. It also requires server code that will store and serve the comments and potentially some associated database queries. This code will thus be split in two codebases and up to three languages. Furthermore, in order to be properly integrated in the larger website, the internal communications between the client and server parts of the widget will be exposed to the rest of the program. All these programming constraints, which stem directly from the way Web programming is done currently, make it impossible to preserve abstraction and encapsulation for widgets who have both client and server aspects. This hinders safety and reusability of widgets by preventing programmers to create selfcontained independent libraries that have both client and server aspects.: A Language for Modular Tierless Web Programming :3programming often relies on numerous external libraries (for encryption, HTML, logging, . . . ). We wanted to leverage all the existing tools and libraries developed either in the O project or the larger OC ecosystem. The design of a Modular Tierless languageTo build such a language with suppo...

show abstract

A theory of RPC calculi for client–server model

Choi¹,

Chang²

2019

J. Funct. Prog.

View full text Add to dashboard Cite

With multi-tier programming languages, programmers can specify the locations of code to run in order to reduce development efforts for the web-based client–server model where programmers write client and server programs separately and test the multiple programs together. The RPC calculus, one of the foundations of those languages by Cooper and Wadler, has the feature of symmetric communication in programmer’s writing arbitrarily deep nested client–server interactions. The feature of the calculus is fully implemented by asymmetric communication in trampolined style suitable for the client–server model. However, the existing research only considers a stateless server strategy in which all server states are encoded for transmission to the client so that server states do not need to be stored in the server. It cannot always correctly handle all stateful operations involving disks or databases. To resolve this problem, we first propose new stateful calculi that fully support both symmetric communication from the programmer’s viewpoint and asymmetric communication in its implementation using trampolined style. All the existing calculi either provide only the feature of asymmetric communication or propose only symmetric implementation suitable for the peer-to-peer model, rather than the client–server model. Second, the method used to design our stateful server strategy is based on a new locative type system which paves the way for a theory of RPC calculi for the client–server model. Besides proposing the new stateful calculi, this theory can improve the existing stateless server strategy to construct new state-encoding calculi that eliminate runtime checks on remote procedure calls present in the existing strategy, and it enables us to design a new mixed strategy that combines the benefits of both kinds of strategies. As far as we know, there are no typed multi-tier calculi that offer programmers the feature of symmetric communication with the implementation of asymmetric communication under the three strategies together.

show abstract

Tierless Web Programming in the Large

Cited by 7 publications

References 18 publications

A polymorphic RPC calculus

A polymorphic RPC calculus

Eliom: A Core ML Language for Tierless Web Programming

A theory of RPC calculi for client–server model

Contact Info

Product

Resources

About