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
• LetSemantics.hs (let in Haskell vs. in Racket)
• 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 (running interactive programs)
• InfiniteDataStructures.hs (lazy evaluation and infinite data structures)
• Haskell Prelude functions for infinite lists
• BetterInput.hs (improved text editing for input)

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).

Mini-Exercises

• Haskell Mini-Exercises #1; answers.
• Haskell Mini-Exercises #2; answers. Also see mymin.hs for a warmup for Question 1.
• Haskell Mini-Exercises #3 (infinite data structures); answers.

Haskell Books and Tutorials

I recommend Learn You a Haskell for Great Good!

There are a number of other excellent Haskell tutorials. 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
• Haskell debugging