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

A Functional Programming Technique for Forms in Graphical User Interfaces

  • Conference paper
Implementation and Application of Functional Languages (IFL 2004)

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

Included in the following conference series:

  • 322 Accesses

Abstract

This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.

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

Access this chapter

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. Leijen, D.: wxHaskell – a portable and concise GUI library for Haskell. In: ACM SIGPLAN Haskell Workshop (HW 2004). ACM Press, New York (2004)

    Google Scholar 

  2. Evers, S.: Form follows function: Editor GUIs in a functional style. Master’s thesis, University of Twente (2004), Permanently available at, http://doc.utwente.nl/fid/2101

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

  4. The wxWidgets home page can be found at, http://www.wxwidgets.org

  5. Sheard, T., Peyton Jones, S.: Template metaprogramming for Haskell. In: Chakravarty, M.M.T. (ed.) ACM SIGPLAN Haskell Workshop 2002, pp. 1–16. ACM Press, New York (2002)

    Chapter  Google Scholar 

  6. Kagawa, K.: Compositional references for stateful functional programming. In: Proceedings of the second ACM SIGPLAN International Conference on Functional Programming (ICFP 1997). SIGPLAN Notices, vol. 32(8), pp. 217–226. ACM Press, New York (1997)

    Chapter  Google Scholar 

  7. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. Technical Report MS-CIS-04-15, University of Pennsylvania (2004); An earlier version appeared in the Workshop on Programming Language Technologies for XML (PLAN-X), under the title A Language for Bi-Directional Tree Transformations (2004)

    Google Scholar 

  8. Sage, M.: FranTk - a declarative GUI language for Haskell. In: ICFP 2000: Proceedings of the fifth ACM SIGPLAN International Conference on Functional programming, pp. 106–117. ACM Press, New York (2000)

    Chapter  Google Scholar 

  9. 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, Copenhagen, DK. ACM Press, New York (1993)

    Google Scholar 

  10. Carlsson, M., Hallgren, T.: Fudgets – Purely Functional Processes with applications to Graphical User Interfaces. PhD thesis, Chalmers University of Technology (1998), http://www.cs.chalmers.se/~hallgren/Thesis/

  11. Hanus, M.: A functional logic programming approach to graphical user interfaces. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 47–62. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  12. Thiemann, P.: WASH/CGI: Server-side web scripting with sessions and typed, compositional forms. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 192–208. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. The XForms home page can be found at, http://www.w3.org/MarkUp/Forms/

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

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

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

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Evers, S., Achten, P., Kuper, J. (2005). A Functional Programming Technique for Forms in Graphical User Interfaces. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds) Implementation and Application of Functional Languages. IFL 2004. Lecture Notes in Computer Science, vol 3474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11431664_3

Download citation

  • DOI: https://doi.org/10.1007/11431664_3

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-32038-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics