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

  • Peter Achten
  • Marko van Eekelen
  • Rinus Plasmeijer
  • Arjen van Weelden
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3622)


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 low-level 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 applications, for teaching and for debugging. These notes focus on the use of the GEC toolkit for functional programmers, only briefly explaining its inner workings and underlying principles.


Application User Functional Programming External View Generic Editor Functional Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abadi, M., Cardelli, L., Pierce, B., Plotkin, G., Rèmy, D.: Dynamic typing in polymorphic languages. In: Proc. of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco (June 1992)Google Scholar
  2. 2.
    Achten, P.: Interactive Functional Programs - models, methods, and implementations. PhD thesis, University of Nijmegen, The Netherlands (1996)Google Scholar
  3. 3.
    Achten, P., Jones, S.P.: Porting the Clean Object I/O library to Haskell. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol. 2011, pp. 194–213. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Achten, P., Plasmeijer, R.: Interactive Functional Objects in Clean. In: Clack, C., Hammond, K., Davie, T. (eds.) IFL 1997. LNCS, vol. 1467, pp. 304–321. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  5. 5.
    Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A.: Arrows for Generic Graphical Editor Components. Technical report NIII-R0416, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, The Netherlands (2004), available at
  6. 6.
    Achten, P., van Eekelen, M., Plasmeijer, R.: Generic Graphical User Interfaces. In: Trinder, P., Michaelson, G.J., Peña, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 152–167. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Achten, P., van Eekelen, M., Plasmeijer, R.: Compositional Model-Views with Generic Graphical User Interfaces. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 39–55. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A.: Automatic generation of editors for higher-order data structures. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 262–279. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol. 2312, pp. 168–186. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  10. 10.
    Barendsen, E., Smetsers, S.: Graph Rewriting Aspects of Functional Programming, ch. 2, pp. 63–102. World scientific, Singapore (1999)Google Scholar
  11. 11.
    den van Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001. LNCS, vol. 2027, pp. 365–370. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Carlsson, M., Hallgren, T.: Fudgets - a graphical user interface in a lazy functional language. In: Proc. of the ACM Conference on Functional Programming and Computer Architecture, FPCA 1993, Kopenhagen, Denmark (1993)Google Scholar
  13. 13.
    Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1998), San Diego, California, pp. 171–183. ACM, New York (1998)CrossRefGoogle Scholar
  14. 14.
    Hanna, K.: Interactive Visual Functional Programming. In: Jones, S.P. (ed.) Proc. Intnl Conf. on Functional Programming, October 2002, pp. 100–112. ACM, New York (2002)Google Scholar
  15. 15.
    Hinze, R.: A new approach to generic functional programming. In: The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, January 2000, pp. 119–132 (2000)Google Scholar
  16. 16.
    Hinze, R., Jones, S.P.: Derivable Type Classes. In: Hutton, G. (ed.) 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada. ENTCS, vol. 41(1). Elsevier Science, Amsterdam (2001)Google Scholar
  17. 17.
    Hughes, J.: Generalising Monads to Arrows. Science of Computer Programming 37, 67–111 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Krasner, G., Pope, S.: A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming 1(3), 26–49 (1988)Google Scholar
  19. 19.
    Löh, A., Clarke, D., Jeuring, J.: Dependency-style generic haskell. In: ICFP 2003: Proc. of the eighth ACM SIGPLAN international conference on Functional programming, pp. 141–152. ACM Press, New York (2003)CrossRefGoogle Scholar
  20. 20.
    Jones, S.P., Hughes, J., et al.: Report on the programming language Haskell 1998, University of Yale (1999),
  21. 21.
    Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) Implementation of Functional Languages (IFL 1998). LNCS, pp. 169–185. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  22. 22.
    Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001),
  23. 23.
    Schrage, M.: Proxima, a presentation-oriented editor for structured documents. PhD thesis, University of Utrecht (2004)Google Scholar
  24. 24.
    van Weelden, A., Plasmeijer, R.: A functional shell that dynamically combines compiled code. In: Trinder, P., Michaelson, G. (eds.) Selected Papers Proc. of the 15th International Workshop on Implementation of Functional Languages, IFL 2003, Heriot Watt University, Edinburgh (September 2003)Google Scholar
  25. 25.
    Vervoort, M., Plasmeijer, R.: Lazy dynamic input/output in the lazy functional language Clean. In: Peña, R., Arts, T. (eds.) The 14th International Workshop on the Implementation of Functional Languages, IFL 2002, Selected Papers, September 2003. LNCS, vol. 2670, pp. 101–117. Springer, Heidelberg (2003)Google Scholar
  26. 26.
    Wadler, P.: Comprehending Monads. In: Proc. of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, pp. 61–77 (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Peter Achten
    • 1
  • Marko van Eekelen
    • 1
  • Rinus Plasmeijer
    • 1
  • Arjen van Weelden
    • 1
  1. 1.Nijmeegs Instituut voor Informatica en InformatiekundeRadboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations