[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Advanced Functional Programming

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3622))

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 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. Achten, P.: Interactive Functional Programs - models, methods, and implementations. PhD thesis, University of Nijmegen, The Netherlands (1996)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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 http://www.niii.kun.nl/research/reports/full/NIII-R0416.pdf

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  10. Barendsen, E., Smetsers, S.: Graph Rewriting Aspects of Functional Programming, ch. 2, pp. 63–102. World scientific, Singapore (1999)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Google Scholar 

  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. 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. 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. Hughes, J.: Generalising Monads to Arrows. Science of Computer Programming 37, 67–111 (2000)

    Article  MathSciNet  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  20. Jones, S.P., Hughes, J., et al.: Report on the programming language Haskell 1998, University of Yale (1999), http://www.haskell.org/definition/

  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)

    Chapter  Google Scholar 

  22. Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.kun.nl/~clean/contents/contents.html

  23. Schrage, M.: Proxima, a presentation-oriented editor for structured documents. PhD thesis, University of Utrecht (2004)

    Google Scholar 

  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. 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. Wadler, P.: Comprehending Monads. In: Proc. of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, pp. 61–77 (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nijmeegs Instituut voor Informatica en Informatiekunde, Radboud Universiteit Nijmegen, Toernooiveld 1, 6525 ED, Nijmegen, The Netherlands

    Peter Achten, Marko van Eekelen, Rinus Plasmeijer & Arjen van Weelden

Authors
  1. Peter Achten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marko van Eekelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rinus Plasmeijer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Arjen van Weelden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Computer Science, Univ. of Tartu, J. Liivi 2, EE-50409, Tartu, Estonia

    Varmo Vene

  2. Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE-12618, Tallinn, Estonia

    Tarmo Uustalu

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A. (2005). GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. In: Vene, V., Uustalu, T. (eds) Advanced Functional Programming. Lecture Notes in Computer Science, vol 3622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546382_5

Download citation

  • DOI: https://doi.org/10.1007/11546382_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28540-3

  • Online ISBN: 978-3-540-31872-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation