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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Achten, P.: Interactive Functional Programs - models, methods, and implementations. PhD thesis, University of Nijmegen, The Netherlands (1996)
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)
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)
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
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
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)
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)
Barendsen, E., Smetsers, S.: Graph Rewriting Aspects of Functional Programming, ch. 2, pp. 63–102. World Scientific, Singapore (1999)
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)
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)
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)
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)
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)
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)
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)
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)
Peyton Jones, S., Hughes, J., et al.: Report on the programming language Haskell 98, University of Yale (1999), http://www.haskell.org/definition/
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)
Plasmeijer, R., van Eekelen, M.: Concurrent CLEAN Language Report (version 2.0) (December 2001), http://www.cs.kun.nl/~clean/contents/contents.html
Schrage, M.: Proxima, a presentation-oriented XML editor. PhD thesis, University of Utrecht (to appear, 2004)
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
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Achten, P., van Eekelen, M., Plasmeijer, R., van Weelden, A. (2004). Automatic Generation of Editors for Higher-Order Data Structures. In: Chin, WN. (eds) Programming Languages and Systems. APLAS 2004. Lecture Notes in Computer Science, vol 3302. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30477-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-30477-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23724-2
Online ISBN: 978-3-540-30477-7
eBook Packages: Springer Book Archive