A seamless, client-centric programming model for type safe web applications
Paper in proceedings, 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.

web applications

network communication

distributed systems


Anton Ekblad

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

Koen Lindström Claessen

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

6th ACM SIGPLAN Haskell Symposium, Haskell 2014; Gothenburg; Sweden; 4 September 2014 through 5 September 2014


Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering





More information