Advertisement

Automatic Generation of Editors for Higher-Order Data Structures

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

Abstract

With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional way, using type-directed Graphical Editor Components (GECs). In this toolkit, the programmer specifies a GUI by means of a data model instead of low-level GUI programming. In earlier versions of this toolkit, the data model must have a first-order type. In this paper we show that the programming toolkit can be extended in two ways, such that the data model can contain higher-order data structures. We added support for dynamic polymorphic higher-order editors using the functional shell Esther. By combining the earlier developed techniques of generic GECs, abstract editors, we also added statically typed higher-order editors. In principle this solution extends our GUI programming toolkit with the full expressive power of functional programming languages.

Keywords

Automatic Generation Application User Functional Language Dynamic Type Type Safety 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abadi, M., Cardelli, L., Pierce, B., Plotkin, G., Rèmy, D.: Dynamic typing in polymorphic languages. In: Proceedings 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., Peyton Jones, S.: 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 (submission, 2004), available as Nijmegen Technical Report NIII-R0416, http://www.niii.kun.nl/research/reports/full/NIII-R0416.pdf
  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); To appear: draft version available via, ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/achp2004-GenericGUI.pdf 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.
    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
  9. 9.
    Barendsen, E., Smetsers, S.: Graph Rewriting Aspects of Functional Programming, ch. 2, pp. 63–102. World Scientific, Singapore (1999)Google Scholar
  10. 10.
    Brand, M.v.d., van Deursen, A., Heering, J., de Jong, H., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P., Scheerder, J., Vinju, J., Visser, E., Visser, J.: The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol. 2027, pp. 365–370. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  11. 11.
    Carlsson, M., Hallgren, T.: Fudgets - a graphical user interface in a lazy functional language. In: Proceedings of the ACM Conference on Functional Programming and Computer Architecture, FPCA 1993, Kopenhagen, Denmark (1993)Google Scholar
  12. 12.
    Clarke, D., Löh, A.: Generic Haskell, Specifically. In: Gibbons, J., Jeuring, J. (eds.) Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2003, pp. 21–48. Kluwer Academic Publishers, Dordrecht (2003)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, pp. 100–112. ACM Press, New York (2002)Google Scholar
  15. 15.
    Heeren, B., Jeuring, J., Swierstra, D., Alcocer, P.: Improving type-error messages in functional languages. Technical Report UU-CS-2002-009, Utrecht University, Institute of Information and Computing Sciences (2002)Google Scholar
  16. 16.
    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
  17. 17.
    Hinze, R., Peyton Jones, S.: Derivable Type Classes. In: Hutton, G. (ed.) 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada. ENTCS, vol. 41(1). Elsevier, Amsterdam (2001)Google Scholar
  18. 18.
    Peyton Jones, S., Hughes, J., et al.: Report on the programming language Haskell 98, University of Yale (1999), http://www.haskell.org/definition/
  19. 19.
    Pil, M.: Dynamic Types and Type Dependent Functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol. 1595, pp. 167–185. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  20. 20.
    Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.kun.nl/~clean/contents/contents.html
  21. 21.
    Schrage, M.: Proxima, a presentation-oriented XML editor. PhD thesis, University of Utrecht (to appear, 2004)Google Scholar
  22. 22.
    van Weelden, A., Plasmeijer, R.: A functional shell that dynamically combines compiled code. In: Trinder, P., Michaelson, G.J., Peña, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 36–52. Springer, Heidelberg (2004); To appear: draft version available via, ftp://ftp.cs.kun.nl/pub/Clean/papers/2004/vWeA2004-Esther.pdf CrossRefGoogle Scholar
  23. 23.
    Vervoort, M., Plasmeijer, R.: Lazy dynamic input/output in the lazy functional language Clean. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 101–117. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Peter Achten
    • 1
  • Marko van Eekelen
    • 1
  • Rinus Plasmeijer
    • 1
  • Arjen van Weelden
    • 1
  1. 1.Nijmegen Institute for Information and Computer ScienceNijmegen UniversityNijmegenThe Netherlands

Personalised recommendations