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 (producing executable programs in Haskell)
• InfiniteDataStructures.hs (lazy evaluation and infinite data structures)
• Haskell Prelude functions for infinite lists

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 Books and Tutorials

I recommend Learn You a Haskell for Great Good!

There are a number of other excellent Haskell tutorials. Yet Another Haskell Tutorial (local copy) is also very good (recommendation: read Chapters 2-9). There is a a new tutorial “Learning Haskell” at http://learn.hfm.io/. 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