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

We propose a new programming model for web applications which is (1) seamless; one program and one language is used to produce code for both client and server, (2) client-centric; the programmer takes the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe, and (4) portable; everything is implemented as a Haskell library that implicitly takes care of all networking code. Our aim is to improve the painful and error-prone experience of today's standard development methods, in which clients and servers are coded in different languages and communicate with each other using ad-hoc protocols. We present the design of our library called Haste.App, an example web application that uses it, and discuss the implementation and the compiler technology on which it depends.

network communication

distributed systems

web applications

Author

Anton Ekblad

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Koen Lindström Claessen

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

ACM SIGPLAN Notices

1523-2867 (ISSN)

Vol. 49 12 79-89

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

DOI

10.1145/2633357.2633367

More information

Latest update

8/7/2023 1