wxHaskell: a portable and concise GUI library for haskell

ABSTRACT

wxHaskell is a graphical user interface (GUI) library for Haskell that is built on wxWidgets: a free industrial strength GUI library for C++ that has been ported to all major platforms, including Windows, Gtk, and MacOS X. In contrast with many other libraries, wxWidgets retains the native look-and-feel of each particular platform. We show how distinctive features of Haskell, like parametric polymorphism, higher-order functions, and first-class computations, can be used to present a concise and elegant monadic interface for portable GUI programs.

REFERENCES

• 1: Peter Achten , Simon L. Peyton Jones, Porting the Clean Object I/O Library to Haskell, Selected Papers from the 12th International Workshop on Implementation of Functional Languages, p.194-213, September 04-07, 2000
• 2: P. Achten and M. Plasmeijer. The beauty and the beast. Technical Report 93--03, Research Inst. for Declarative Systems, Dept. of Informatics, University of Nijmegen, Mar. 1993.
• 3: P. Achten and M. J. Plasmeijer. The ins and outs of Clean I/O. Journal of Functional Programming, 5(1):81--110, 1995.
• 4: Peter Achten , John H. G. van Groningen , Rinus Plasmeijer, High Level Specification of I/O in Functional Languages, Proceedings of the 1992 Glasgow Workshop on Functional Programming, p.1-17, July 06-08, 1992
• 5: K. A. Angelov. The HToolkit project. http://htoolkit.sourceforge.net.
• 6: A. Baars, A. Löh, and D. Swierstra. Parsing permutation phrases. In R. Hinze, editor, Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 171--182. Elsevier, 2001.
• 7: Erik Barendsen , Sjaak Smetsers, Uniqueness Type Inference, Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs, p.189-206, September 20-22, 1995
• 8: D. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++ . In 4th annual Tcl/Tk workshop, Monterey, CA, July 1996.
• 9: Magnus Carlsson , Thomas Hallgren, FUDGETS: a graphical user interface in a lazy functional language, Proceedings of the conference on Functional programming languages and computer architecture, p.321-330, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165228]
• 10: M. Carlsson and T. Hallgren. Fudgets -- Purely Functional Processes with applications to Graphical User Interfaces. PhD thesis, Department of Computing Science, Chalmers University of Technology and Gothenburg University, 1998.
• 11: M. Chakravarty, S. Finne, F. Henderson, M. Kowalczyk, D. Leijen, S. Marlow, E. Meijer, S. Panne, S. Peyton-Jones, A. Reid, M. Wallace, and M. Weber. The Haskell 98 foreign function interface 1.0: an addendum to the Haskell 98 report. http://www.cse.unsw.edu.au/~chak/haskell/ffi, Dec. 2003.
• 12: K. Claessen. The Yahu library. http://www.cs.chalmers.se/Cs/Grundutb/Kurser/afp/yahu.html.
• 13: Koen Claessen , Ton Vullinghs , Erik Meijer, Structuring graphical paradigms in TkGofer, ACM SIGPLAN Notices, v.32 n.8, p.251-262, Aug. 1997
• 14: A. Courtney and C. Elliott. Genuinely functional user interfaces. In ACM Sigplan 2001 Haskell Workshop, Sept. 2001.
• 15: Antony Courtney , Henrik Nilsson , John Peterson, The Yampa arcade, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, p.7-18, August 28-28, 2003, Uppsala, Sweden [doi>10.1145/871895.871897]
• 16: Conal Elliott , Paul Hudak, Functional reactive animation, Proceedings of the second ACM SIGPLAN international conference on Functional programming, p.263-273, June 09-11, 1997, Amsterdam, The Netherlands
• 17: Levent Erkök , John Launchbury, Recursive monadic bindings, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.174-185, September 2000
• 18: Sigbjorn Finne , Daan Leijen , Erik Meijer , Simon Peyton Jones, H/Direct: a binary foreign language interface for Haskell, ACM SIGPLAN Notices, v.34 n.1, p.153-162, Jan. 1999
• 19: Sigbjorn Finne , Daan Leijen , Erik Meijer , Simon Peyton Jones, Calling hell from heaven and heaven from hell, ACM SIGPLAN Notices, v.34 n.9, p.114-125, Sept. 1999
• 20: S. Finne and S. Peyton Jones. Composing Haggis. In Proceedings of the Fifth Eurographics Workshop on Programming Paradigms in Computer Graphics, 1995.
• 21: J. Garrigue. The LablGtk library. http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html.
• 22: John Hughes, Generalising monads to arrows, Science of Computer Programming, v.37 n.1-3, p.67-111, May 2000 [doi>10.1016/S0167-6423(99)00023-4]
• 23: E. Karlsen, G. Russell, A. Lüdtke, and C. Lüth. The HTk library. http://www.informatik.uni-bremen.de/htk.
• 24: K. Läufer. Type classes with existential types. Journal of Functional Programming, 6(3):485--517, May 1996.
• 25: D. Leijen. The wxHaskell library. http://wxhaskell.sourceforge.net.
• 26: D. Leijen. The λ Abroad -- A Functional Approach to Software Components. PhD thesis, Department of Computer Science, Universiteit Utrecht, The Netherlands, 2003.
• 27: Daan Leijen , Erik Meijer, Domain specific embedded compilers, ACM SIGPLAN Notices, v.35 n.1, p.109-122, Jan. 2000
• 28: D. Leijen and E. Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-27, Department of Computer Science, Universiteit Utrecht, 2001.
• 29: Rob Noble , Colin Runciman, Gadgets: Lazy Functional Components for Graphical User Interfaces, Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs, p.321-340, September 20-22, 1995
• 30: A. T. H. Pang. Binding Haskell to object-oriented component systems via reflection. Master's thesis, The University of New South Wales, School of Computer Science and Engineering, June 2003. http://www.algorithm.com.au/files/reflection/reflection.pdf.
• 31: A. T. H. Pang and M. M. T. Chakravarty. Interfacing Haskell with object-oriented languages. In G. Michaelson and P. Trinder, editors, 15th International Workshop on the Implementation of Functional Languages (IFL'03), LNCS. Springer-Verlag, 2004.
• 32: Ross Paterson, A new notation for arrows, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
• 33: A. Reid and S. Singh. Implementing fudgets with standard widget sets. In Glasgow Functional Programming workshop, pages 222--235. Springer-Verlag, 1993.
• 34: John Hamilton Reppy, Higher-order concurrency, Cornell University, Ithaca, NY, 1992
• 35: B. Robinson. wxFruit: A practical GUI toolkit for functional reactive programming. http://zoo.cs.yale.edu/classes/cs490/03-04b/bartholomew.robinson.
• 36: George Russell, Events in Haskell, and how to implement them, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
• 37: M. Sage. The FranTk library. http://www.haskell.org/FranTk.
• 38: Meurig Sage, FranTk - a declarative GUI language for Haskell, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.106-117, September 2000
• 39: U. Sander et al. The wxEiffel library. http://wxeiffel.sourceforge.net.
• 40: Enno Scholz, Imperative streams—a monadic combinator library for synchronous programming, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.261-272, September 26-29, 1998, Baltimore, Maryland, United States
• 41: M. Schrage. Proxima: a generic presentation oriented XML editor. PhD thesis, Department of Computer Science, Universiteit Utrecht, The Netherlands, 2004.
• 42: A. Simons and M. Chakravarty. The Gtk2Hs library. http://gtk2hs.sourceforge.net.
• 43: J. Smart, R. Roebling, V. Zeitlin, R. Dunn, et al. The wxWidgets library. http://www.wxwidgets.org.
• 44: Ton Vullinghs , Daniel Tuinman , Wolfram Schulte, Lightweight GUIs for Functional Programming, Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs, p.341-356, September 20-22, 1995
• 45: P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 347--359. North Holland, 1990.
• 46: Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.1 Applicative (Functional) Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: User interfaces
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages

General Terms:
Design, Languages

Keywords:
C++, Haskell, combinator library, graphical user interface, layout, wxWidgets