The Design of a Functional GUI Library Using Constructor Classes

We present the design rationale of a constructor class-based implementation of a graphical user interface library. This library, named TkGofer, provides a convenient way to write window-oriented applications in the pure, functional programming language Gofer.

[1]  Philip Wadler,et al.  Comprehending monads , 1990, LISP and Functional Programming.

[2]  Colin Runciman,et al.  Gadgets: Lazy Functional Components for Graphical User Interfaces , 1995, PLILP.

[3]  Mats Carlsson,et al.  FUDGETS: a graphical user interface in a lazy functional language , 1993, FPCA '93.

[4]  S. Doaitse Swierstra,et al.  Programming Languages Implementations, Logics, and Programs : 7th International Symposium, Plilp '95, Utrecht, the Netherlands, September 20-22, 1995 : Proceedings' , 1995 .

[5]  Mark P. Jones,et al.  Functional Programming with Overloading and Higher-Order Polymorphism , 1995, Advanced Functional Programming.

[6]  Wolfgang Grieskamp,et al.  Communicating Functional Agents and Their Application to Graphical User Interfaces , 1996, Ershov Memorial Conference.

[7]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[8]  WadlerPhilip,et al.  Report on the programming language Haskell , 1992 .

[9]  Uday S. Reddy,et al.  Imperative functional programming , 1996, CSUR.

[10]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[11]  Ton Vullinghs,et al.  Lightweight GUIs for Functional Programming , 1995, PLILP.

[12]  李幼升,et al.  Ph , 1989 .

[13]  Marinus J. Plasmeijer,et al.  High Level Specification of I/O in Functional Languages , 1992, Functional Programming.

[14]  Pieter H. Hartel,et al.  Programming Languages: Implementations, Logics, and Programs , 1996, Lecture Notes in Computer Science.

[15]  Eugenio Moggi,et al.  Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.