Graphical User Interfaces in Haskell Koen Lindström Claessen.
Post on 24-Dec-2015
Slide 1 Graphical User Interfaces in Haskell Koen Lindstrm Claessen Slide 2 First a Demo An editor for simple straight line drawings Line currently being drawn by dragging the mouse Remove last line drawn Load and save drawings to files A graphical user interface Slide 3 Saving a Drawing File selection dialogue Slide 4 GUI Libraries GUI programming is complex Much graphics programming needed Many different elements needed (buttons, scroll bars, menus, entry fields) It is not practical to write a GUI from scratch We must use an existing GUI library Slide 5 Portability Every platform provides a GUI library but they are all different! The differences are more than just skin deep How do we write portable programs with GUIs? Slide 6 Two Roads to Portability WindowsMacLinux New portable GUI library Applications The Java approach Interfaces look funny WindowsMacLinux Portable interface Applications Windows GUI lib Mac GUI library Linux GUI lib The wxWindows approach Native look and feel Slide 7 wxHaskell WindowsMacLinux wxWindows Haskell applications Windows GUI lib Mac GUI library Linux GUI lib wxHaskell Industrial strength open source library 500 C++ classes with 4000 methods! There are many native Haskell GUI libraries: More Haskellish Generally not portable Generally less complete wxHaskell is a good compromise. Slide 8 GHC wxHaskell only works with GHC Glasgow Haskell compiler Haskell main program ghc package wx make Prog -o prog Prog.hs Compiled code prog A compiled program like any other Cannot call individual functions in an interpreter Slide 9 Haskell Main Programs Definition main :: IO () In module Main (the default) Main programs produce no result they just do input/output main :: IO () main = do putStrLn What is your name? name Overloading The same attribute name can be used with many different widget types Attribute names are overloaded Type: text :: Textual w => Attr w String Same idea used for many, many attributes f Slide 15 Layout The layout attribute specifies the appearance on the screen f Slide 16 Instructions Controls have attributes which are instructions to follow if the user activates them A GUIs purpose is to let a user give instructions to the computer but Slide 17 Modifying Attributes Attributes can be read and modified Modifying attributes changes what appears on the screen do s Slide 18 Invisible Widgets Some widgets are invisible They still have attributes that can be set and modified Examples: Timer widget Interval On command Variable widget Value Slide 19 Functions vs. Instructions f :: String -> Int g :: String -> IO Int vs Compare: Only the knowledge about the string is needed to understand the result Anything can be used to compute the result: Reading from files, randomness, user input! Moreover, anything can be modified or changed! Slide 20 Design Principles Separate the GUI from the functionality as much as possible So that the GUI can later be replaced without changing the functionality Avoid duplicating code as far as possible So that errors need be fixed only once (c.f. cut and paste programming) Slide 21 Modelling the State A GUI is often used to edit or modify something What is the state? Slide 22 Examples Hello.hs Simple hello example BouncingBalls.hs A simple animation containing bouncing balls Draw.hs A simple drawing program Mine.hs A version of the game minesweeper Slide 23 How do I find the right function? Haskell has many hierarchical libraries, with documentation on the web Every wxHaskell function is documented on the web Know how to find the documentation! Slide 24 haskell.org Libraries! Slide 25 haskell.org/libraries/ Hierarchical libraries! You have these already. Slide 26 Hierarchical Libraries Lots of modules Slide 27 Googling wxHaskell Here it is! Slide 28 wxHaskell Home Page Documentation Slide 29 wxHaskell Documentation Haddock documentation for wxHaskell General information on wxWidgets sometimes you have to read this Slide 30 wxHaskell Haddock Attributes: defines set, get, (:=), Classes: one for each attribute Controls: Buttons, entry fields etc Dialogs: Built-in popups, e.g. for choosing a file Draw: Functions for drawing on a panel Layout: Operators to build layouts And much, much, more! Ignore WXCore! Its a level below wxHaskell Slide 31 Reading http://wxhaskell.sourceforge.net/ wxHaskell: A Portable and Concise GUI Library for Haskell, Daan Leijen Haskell Workshop, Salt Lake City, 2004 http://www.cs.uu.nl/~daan/download/papers/w xhaskell.pdf
View more >
Creating Graphical User Interfaces with Graphical User Interfaces with MATLAB . ... MATLAB has a built-in Graphical User Interface Development Environment ... Creating Graphical User
Parallelism and Concurrency Koen Lindström Claessen Chalmers University Gothenburg, Sweden Ulf Norell.
Towards an Evaluation of Graphical User Interfaces ... ?· Towards an Evaluation of Graphical User Interfaces…
Recursive Data Types Koen Lindström Claessen. Modelling Arithmetic Expressions Imagine a program to help school-children learn arithmetic, which presents.
HASKELL TO LOGIC THROUGH DENOTATIONAL SEMANTICS Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén POPL 2013, January 2013 1.