GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications

Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without any knowledge of lowlevel I/O handling. Instead, he works with Graphical Editor Components (GEC). A GEC is an interactive component that is automatically derived from an arbitrary monomorphic data type, including higher order types. It contains a value of that data type, visualizes it, and allows the user to manipulate it in a type-safe way. The toolkit has a library of data types that represent standard GUI elements such as buttons, text fields, and so on. As a consequence, the programmer works with data types that model the interactive system that he is interested in. Programs are constructed as a collection of communicating GECs. This communication can be arranged in an ad-hoc way, or in a disciplined way, using a combinator library based on arrows. GECs are suitable for rapid prototyping of real world app...

• Type: Conference
• Year: 2004
• Where: AFP
• Authors: Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden
• Keywords: AFP 2004, Arbitrary Monomorphic Data, Data Types, GEC Toolkit