A glimpse of Hopjs

Serrano, Manuel; Prunet, Vincent

doi:10.1145/3022670.2951916

Cited by 12 publications

(8 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Eliom [21][22][23][24] has both theory and implementation of a typed slicing compilation generating OCaml programs. ScalaLoci [29,31], Hop.js [28], and Gavial [25] do not separate the client part from the server part for running multi-tier programs. The multi-tier calculus [18,19] is equipped with a typed slicing compilation used to optimize the…”

Section: Related Work and Discussionmentioning

confidence: 99%

See 1 more Smart Citation

A Typed Slicing Compilation of the Polymorphic RPC Calculus

Choi¹,

Cheney²,

Lindley³

et al. 2021

Preprint

View full text Add to dashboard Cite

The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We develop an experimental programming language based on the polymorphic RPC calculus. We introduce a polymorphic Client-Server (CS) calculus with the client and server parts separated. In contrast to existing untyped CS calculi, our calculus is not only able to resolve polymorphic locations statically, but it is also able to do so dynamically. We design a type-based slicing compilation of the polymorphic RPC calculus into this CS calculus, proving type and semantic correctness. We propose a method to erase types unnecessary for execution but retaining locations at runtime by translating the polymorphic CS calculus into an untyped CS calculus, proving semantic correctness. CCS CONCEPTS• Software and its engineering → Compilers; Distributed programming languages; Client-server architectures.

show abstract

Section: Related Work and Discussionmentioning

confidence: 99%

“…Thirdly, RPC calculi allow unrestricted composition of differently located procedures. These features are not provided by existing multi-tier programming languages such as ML5 [16,17], Eliom [21,23], Hop [26][27][28], Ur/Web [3], ScalaLoci [29,30], and Gavial [25].…”

mentioning

confidence: 99%

A Typed Slicing Compilation of the Polymorphic RPC Calculus

Choi¹,

Cheney²,

Lindley³

et al. 2021

Preprint

View full text Add to dashboard Cite

show abstract

“…There are many other multi-tier web programming languages as follows. Hop (Serrano et al, 2006;Serrano and Berry, 2012) extending Scheme; Hop.js extending JavaScript (Serrano and Prunet, 2016); Eliom, a multi-tier ML programming language, featuring module systems extended with location annotations (Radanne, 2017) in the project Ocsigen (Balat, 2006); and Ur/Web (Chlipala, 2015) with a dependently typed system; a multi-tier functional reactive programming framework for Scala (Reynders et al, 2014); and ScalaLoci (Weisenburger et al, 2018).…”

Section: Related Work and Discussionmentioning

confidence: 99%

A Polymorphic RPC Calculus

Choi¹,

Cheney²,

Fowler³

et al. 2019

Preprint

View full text Add to dashboard Cite

The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for clientserver model. Subsequently, the typed RPC calculus is designed to capture the location information of functions by types and to drive location type-directed slicing compilations. However, the use of locations is currently limited to monomorphic ones, which is one of the gaps to overcome to put into practice the theory of RPC calculi for client-server model.This paper proposes a polymorphic RPC calculus to allow programmers to write succinct multi-tier programs using polymorphic location constructs. Then the polymorphic multi-tier programs can be automatically translated into programs only containing location constants amenable to the existing slicing compilation methods. We formulate a type system for the polymorphic RPC calculus, and prove its type soundness. Also, we design a monomorphization translation together with proofs on its type and semantic correctness for the translation.

show abstract

“…Hop.js [27] builds on the Hop programming language [26] and allows cross-tier web programming in JavaScript. Eliom [25] is a cross-tier functional programming framework building on top of the OCaml programming language.…”

Section: Related Workmentioning

confidence: 99%

Language-Integrated Updatable Views (Extended version)

Horn,

Fowler,

Cheney

2020

Preprint

View full text Add to dashboard Cite

Relational lenses are a modern approach to the view update problem in relational databases. As introduced by Bohannon et al. [5], relational lenses allow the definition of updatable views by the composition of lenses performing individual transformations. Horn et al. [19] provided the first implementation of incremental relational lenses, which demonstrated that relational lenses can be implemented efficiently by propagating changes to the database rather than replacing the entire database state.However, neither approach proposes a concrete language design; consequently, it is unclear how to integrate lenses into a generalpurpose programming language, or how to check that lenses satisfy the well-formedness conditions needed for predictable behaviour. In this paper, we propose the first full account of relational lenses in a functional programming language, by extending the Links web programming language. We provide support for higher-order predicates, and provide the first account of typechecking relational lenses which is amenable to implementation. We prove the soundness of our typing rules, and illustrate our approach by implementing a curation interface for a scientific database application.

show abstract

A glimpse of Hopjs

Cited by 12 publications

References 19 publications

A Typed Slicing Compilation of the Polymorphic RPC Calculus

A Typed Slicing Compilation of the Polymorphic RPC Calculus

A Polymorphic RPC Calculus

Language-Integrated Updatable Views (Extended version)

Contact Info

Product

Resources

About