Automatic Graphical User Interface Form Generation Using Template Haskell
نویسندگان
چکیده
This paper presents AutoGUI, a Template Haskell library for automatic form generation. A form is a part of graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it and then either accept changes or abandon them. The library is built on top of medium-level GUI library wxHaskell. The Template Haskell and Haskell type system allow the forms to be built fully automatically, but manual intervention is not excluded.
منابع مشابه
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant
The Haskell Equational Reasoning Assistant (HERA) is an application written in Haskell that helps users construct and present equational reasoning style proofs[1]. In this paper we discuss the technology behind the user interface.
متن کاملPictures : A simple structured graphics
We present in this paper a simple graphical model for describing graphics using a functional language. Two-dimensional graphical scenes are represented using a recursive data type, where pictures are constructed by repeatedly composing smaller pictures together. The model is device-independent and provides the basic capabilities of a purely functional page description language. One novel aspect...
متن کاملThesis for the Degree of Licentiate of Philosophy
This thesis describes a number of practical experiments rather than theoretical investigations in the area of natural language processing. The basis for the work presented is Grammatical Framework (GF). It is a very complex system, which comprises among other things a grammar formalism based on type theory and its implementation written in Haskell. GF is intended for high-quality machine transl...
متن کاملMalloc Pointers and Stable Pointers: Improving Haskell's Foreign Language Interface
The Glasgow Haskell compiler provides a foreign language interface which allows Haskell programs to call arbitrary C functions. This has been used both to implement the standard Haskell IO system and a variety of applications including an arcade game 8], and a graphical user interface to a database 19]. The theoretical problems associated with using impure functions from pure functional languag...
متن کاملCondorCKD – Implementing an Algebraic Knowledge Discovery System in a Functional Programming Language
We introduce CondorCKD, an implementation of a novel data mining algorithm using the lazy functional programming language Haskell. While functional programming languages are often considered to be applicable to “toy problems” only, we try to give prove that these languages can of course be used to tackle demanding real-world programming tasks, and that programmers can benefit from the advantage...
متن کامل