CMSC 22300: Functional Programming

Lecture Notes and Programs

• FP History
• Tutorial Script 1 (Wednesday, 3/28)
• Tutorial Script 2 (Friday, 3/30)
• Basic Typing (Monday, 4/9, Friday 4/20)
  typecheck1.zip: Basis type inference (Hindley)
  typecheck2.zip: Milner type inference with let-polymorphism
• Parallelism and Concurrency (Lars Bergstrom)
• Monadic Parsing I (Lars Bergstrom)
• Monadic Parsing II (Lars Bergstrom)
• simple.zip : A monadic lexing/parsing example (Lars Bergstrom)
• Tutorial Script 3: More on SML modules (5/2)
• A Brief Haskell History
• Haskell Type Classes
  setpoly.sml; Set.hs; Set_abs.hs
• Constructor Classes
  setcc.hs: Set constructor class
• Monads
state.hs: A state monad
io.hs: An IO monad
Counter.hs: A counter monad
Substitution
subst.sml
Subst.hs
• Lazy Evaluation
  Streams in SMl
  Stream examples in Haskell

Lecture Notes (from 2010)

• Lesson 0: Why Functional Programming?
• Lesson 1: Beginning ML
• Lesson 2: Basic Types in SML
• Lesson 3: Fancier Types (algebraic datatypes, records, polymorphism)
• Lesson 4: Polymorphism
• Lesson 5: Functions, Equality, Effects in SML
• Lesson 6: Type Inference Illustrated
• Lesson 7: Elementary Haskell I
• Lesson 8: Elementary Haskell I (continued)
• Lesson 9: Guards; Basic Type Classes; Infinite Data
• Lesson 10: Lazy Evaluation: SML and Haskell
• Lesson 11: Guards in Haskell; Exceptions in SML
• Lesson 13: Imperative Features of SML: ref and array types
• Lesson 14: Imperative Features of SML: Arrays
• Lesson 15: More on Type Classes, Comparing with SML modules
• Lesson 16: SML Functors
• Lesson 17: More on Type Classes and SML Modules
• Lesson 18: A limitation of Type Classes; IO and effects
• Lesson 19: IO in Haskell; "do" notation
• Lesson 20: Continuations in SML
• Lesson 21: Concurrent ML
• Lesson 22: Concurrent Haskell
• Postscript: What we have learned, what remains

Formatting, Editing, and Unicode Characters

The lectures are currently (mostly) formatted as plain text, but with some use of unicode characters with the UTF-8 encoding. This means that this character encoding must be activated in browsers when viewing the lectures files, or they must be viewed in an editor that can be configured to display UTF-8 characters properly.

The text files were produced in the emacs editor (Aquamacs on a Mac) and the unicode characters were entered using a set of emacs abbreviations contained in the file unicode-abbrevs which can be loaded with the emacs load<\tt> command.