CSE 341 - Programming Languages

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
• Haskell Mini-Exercises #1; answers
• Haskell module examples: Aquarium.hs; AquariumTest.hs
• UnitTestExample.hs
• TypesNotes.hs
• TypesNotesEq.hs (deriving Eq)
• 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)
• Haskell Prelude functions for infinite lists
• Haskell Mini-Exercises #2; answers
• Fixed-point combinators
  • fixedpoint.hs (fixed point examples in Haskell)
  • y-bad.hs (the Y combinator in Haskell - doesn't type check)
  • y.hs (the Y combinator in Haskell - with unsafeCoerce)
  • y.rkt (the Y combinator in Racket)
  • Fixed-point combinator (from Wikipedia)
  • The Y combinator in Haskell
  • The Y combinator (slight return) by Mike Vanier
  • The Y combinator in many languages (Rosetta Code)
  • 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).

Haskell Books and Tutorials

There are a number of excellent Haskell tutorials. I recommend Learn You a Haskell for Great Good!. Yet Another Haskell Tutorial (local copy) is also very good (recommendation: read Chapters 2-9). 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.

XKCD's view on Haskell

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