Abstract
We present a constructor class based implementation of a graphical user interface library, named TkGofer. It provides a convenient way to develop window-based applications in the pure, functional programming language Gofer [1], which is a subset of Haskell. The principal contribution of the approach embodied in the library is that it offers a simple and type secure solution to specify the appearance and behaviour of individual and composed user interface components.
Preview
Unable to display preview. Download preview PDF.
References
M.P. Jones. An introduction to Gofer (draft), 1993.
M.P. Jones. Functional programming with overloading and higher-order polymorphism. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming. First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 1995, volume 925 of Lecture Notes in Computer Science, pages 97–136. Springer-Verlag, 1995.
J.K. Ousterhout. Tcl and the Tk toolkit. Addison Wesley, 1994.
S.L. Peyton Jones and Ph. Wadler. Imperative functional programming. In Proc. 20th ACM Symposium on Principles of Programming Languages, Charlotte, North Carolina, January 1993.
T. Vullinghs, T. Schwinn, and W. Schulte. TkGofer User Manual. Technical report, University of Ulm, to appear, 1996.
T. Vullinghs, D. Tuijnman, and W. Schulte. Lightweight GUIs for functional programming. In M. Hermenegildo and S.D. Swierstra, editors, Programming Languages: Implementations, Logics and Programs. 7th International Symposium, PLILP '95, volume 982 of Lecture Notes in Computer Science, pages 341–356. Springer-Verlag, September 1995.
Ph. Wadler. Comprehending monads. In Proc. 1990 ACM Conference on Lisp and Functional Programming, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schulte, W., Schwinn, T., Vullinghs, T. (1996). TkGofer: A functional GUI library. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014357
Download citation
DOI: https://doi.org/10.1007/BFb0014357
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive