Thesis Topic Details

Topic ID:
3430
Title:
A high-level approach to writing graphical user interfaces in Haskell
Supervisor:
Manuel Chakravarty
Research Area:
Programming Languages, User Interface Design
Associated Staff
Assessor:
Gabriele Keller
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:
Graphical user interfaces are a stateful affair. The state of the view needs to be kept in sync with the state of the model (assuming the classic model-view-controller architecture) in the face of user input and other asynchronous activities, such as network and filesystem events. The result are many intricate interdependencies that quickly lead to bugs.

Functional reactive programming (FRP) is an approach to modelling the dependencies in asynchronous event-driven systems, such that it is easier to keep the state of the system consistent. FRP has been pioneered in Haskell, but the various implementations have practical shortcomings, which meant that they never found much use in practice.

Recently, the functional web programming language Elm (which is close to Haskell) pioneered a new, more practical form of FRP for interactive web programming. The purpose of this thesis is to adapt Elm's FRP system to Haskell and to explore its suitability for the programming of GUIs for native application.

For more information on Elm and FRP, see http://elm-lang.org
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.