A seamless, client-centric programming model for type safe web applications

Ekblad, Anton; Claessen, Koen

doi:10.1145/2633357.2633367

Cited by 14 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…WebSharper [14] Allows developers to specify client-side members and members that are callable remotely. Haste [44] Uses monadic computations wrapping client and server code into different monads and provides explicit remote calls. Fun [145] Enables automatic synchronization of data across web clients without manually implementing the communication with the server.…”

Section: An Overview Of Multitier Languagesmentioning

confidence: 99%

“…Similarly, in ScalaLoci [142], a binding value of type String on Server can be accessed remotely using value.asLocal. Haste [44] also features a type-based placement specification using monadic computations by wrapping client and server code into different monads. Koka [78] uses a type and effect system to capture which functions can only be executed on the client and which functions can only be executed on the server, preventing cross-tier access without explicitly sending and receiving messages.…”

Section: Placement Specification We Identified the Following Strategi...mentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Multitier Programming

2020

View full text Add to dashboard Cite

Multitier programming deals with developing the components that pertain to different tiers in the system (e.g., client and server), mixing them in the same compilation unit. In this paradigm, the code for different tiers is then either generated at run time or it results from the compiler splitting the codebase into components that belong to different tiers based on user annotations, static analysis, types, or a combination of these. In the Web context, multitier languages aim at reducing the distinction between client and server code, by translating the code that is to be executed on the clients to JavaScript or by executing JavaScript on the server, too. Ultimately, the goal of the multitier approach is to improve program comprehension, simplify maintenance and enable formal reasoning about the properties of the whole distributed application. A number of multitier research languages have been proposed over the last decade, which support various degrees of multitier programming and explore different design tradeoffs. In this article, we provide an overview of the existing solutions, discuss their positioning in the design space, and outline open research problems.

show abstract

Section: An Overview Of Multitier Languagesmentioning

confidence: 99%

Section: Placement Specification We Identified the Following Strategi...mentioning

confidence: 99%

A Survey of Multitier Programming

2020

View full text Add to dashboard Cite

show abstract

“…An earlier version, H .A [Ekblad and Claessen 2014], was limited to only one client and one server and used a monadic approach to structure tierless programs.…”

Section: Distributed Programmingmentioning

confidence: 99%

Eliom: A Core ML Language for Tierless Web Programming

Radanne

Vouillon

Balat

2016

Programming Languages and Systems

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

Lightweight Declarative Server-Side Web Programming

Hanus

2021

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

A seamless, client-centric programming model for type safe web applications

Cited by 14 publications

References 10 publications

A Survey of Multitier Programming

A Survey of Multitier Programming

Eliom: A Core ML Language for Tierless Web Programming

Lightweight Declarative Server-Side Web Programming

Contact Info

Product

Resources

About