CSE 341 - Programming Languages - Autumn 2012

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

Haskell Lecture Notes

• HaskellBasics.hs
• HaskellBasics-extras.hs (notes from class on 9/26 about function composition)
• 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
• Haskell Mini-Exercises #3; 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).

Tutorial Session Notes

• Notes for tutorial on recursion on Oct 1

Haskell Books and Tutorials

There are a number of excellent Haskell tutorials. I like Yet Another Haskell Tutorial. Or download from a local copy. (Recommendation: read Chapters 2-9.) Learn You a Haskell for Great Good! is also excellent. Real World Haskell won't be a focus in this course -- but if you're curious how Haskell can be used in real-world applications check it out.

Other Haskell Information

The haskell.org website is the central starting point for all things Haskell. See in particular:

• the Haskell Prelude, which is loaded by default in all Haskell modules
• Applications and libraries
• HUnit unit testing framework
• Pointfree Style in Haskell