CSE 341 - Programming Languages - Winter 2010

Haskell and Functional Programming

Haskell will be a vehicle to discuss programming in a pure functional language, and static, polymorphic type systems and type inference.

Getting Started

• Running Haskell: basic commands for running Haskell; information on installing it on a personal machine
• Yet Another Haskell Tutorial: my recommendation for a tutorial (pdf format). Or download from a local copy. Recommendation: read Chapters 2-9.

Haskell Lecture Notes

• HaskellBasics.hs
• Haskell Mini-Exercises #1; answers
• Haskell module examples: Aquarium.hs; AquariumTest.hs
• UnitTestExample.hs
• TypesNotes.hs
• BasicInputOutput.hs
• DesugaringDo.hs (what's going on with 'do' in Haskell?)
• Magic.hs (producing executable programs in Haskell)
• InfiniteDataStructures.hs (lazy evaluation and infinite data structures)
• Operational Semantics of Pure Functional Languages pdf; pdf 4-up
• Haskell Mini-Exercises #2; answers

The Haskell lectures notes with a .hs extension can all be run in Haskell -- if you want to run them, download them, and if necessary rename them to have just a .hs extension (not a .txt extension).

Other Haskell Information

• haskell.org: all things Haskell
• The Haskell 98 Language Report (also see Index to the Haskell Prelude)
• Haskell mode for Emacs
• HUnit package (unit testing framework). This link is to the version of HUnit that is installed on the lab machines and that is included in the current Haskell Package distribution.

The Haskell Prelude is a set of standard functions that come with Haskell -- the index (linked above) is a useful way to find out what is buit in.

"Haskell mode for Emacs" is a convenient way to run Haskell from the emacs editor, as well as letting emacs know about Haskell syntax. I wouldn't start with this right off -- figure out how to run Haskell just by itself first -- but you may well find it convenient after you're comfortable with Haskell.