Abstract

Fruit is a new graphical user interface library for Haskell based on a formal model of user interfaces. The model identifies signals (continuous time-varying values) and signal transformers (pure functions mapping signals to signals) as core abstractions, and defines GUIs compositionally as signal transformers. In this paper, we describe why we think a formal denotational model of user interfaces is useful, present our model and prototype library implementation, and show some example programs that demonstrate novel features of our library.

Citations

408	Can programming be liberated from the von neumann style ? A functional style and its algebra of programs - Backus
173	Functional reactive animation - Elliott, Hudak - 1997
146	Jazz: An Extensible Zoomable User Interface Graphics Toolkit - Bederson, Meyer, et al. - 2000
48	Newsqueak: A language for communicating with mice - Pike - 1989
27	Functional implementations of continuous modeled animation - Elliott - 1998
26	Fudgets - Purely Functional Processes with applications to Graphical User Interfaces - Carlsson, Hallgren - 1998
25	Structuring graphical paradigms in TkGofer - Claessen, Vullinghs, et al. - 1997
25	An embedded modeling language approach to interactive 3d and multimedia animation - ELLIOTT - 1999
3	Composing the user interface with Haggis, Lecture - Finne, Jones
2	Functional images, (to appear - Elliott - 2001