At a glance...
| Assignment | Due Date |
|---|---|
| Assignment 0 | January 28 |
| Assignment 1 | February 4 |
| Assignment 2 | February 18 |
| Assignment 3 | March 4 |
| Assignment 4 | March 18 |
| Project Proposal | March 25 |
| Final Project | April 29 |
Week 1–2: Pure Functional Programs
Topics
- Recursion, pattern matching, guards, higher-order functions, list comprehensions
- Algebraic data types, type classes, polymorphism
Reading
- Real World Haskell: chapters 2, 3, 6
- Yorgey's Intro: chapters 1-5
Exercises
Notes
Week 3–4: User Interaction
Topics
- Input/output, console programs
- Error handling, references
Reading
- Real World Haskell: chapters 4, 5, 7
Exercises
Notes
Week 5–6: Getting It Right
Topics
- Property-based testing
- Equational reasoning
Reading
- Real World Haskell: chapter 11
- An Introduction to QuickCheck testing
- Talk on QuickCheck by John Huges (Lecture 4 of "Monads and all that")
- A Program to Solve Sudoku
References
- User Manual on Hspec
- The QuickCheck and Hspec packages
Exercises
Notes
Week 7–8: Effect APIs
Topics
- Functors, Applicative Functors
- Monads
Reading
- Real World Haskell: chapters 14-15
- Learn You a Haskell: chapters 11-13
- You Could Have Invented Monads! (And Maybe You Already Have.)
Exercises
Notes
Week 9–10: Effectful programming
Topics
- Non-determinism, continuations
- Parsing
Reading
- Real World Haskell: chapter 16
- Write Yourself a Scheme: chapter 2
References
- The probability package
- The parsec package
Notes
Week 11: Laziness (With Class)
Topics
- Laziness, infinite data
- Functional Object-Oriented Programming
Reading
- Yorgey's Intro: chapter 6
- Why Functional Programming Matters - a collection of practical examples, including numerical methods & minimax AI
- From Löb's Theorem to Spreadsheet Evaluation
Notes
Bonus Exercises
- Bonus Assignment (Numerical Methods with Functional Programming in Python). You can use this template to fill in your answers.
Week 12–13: Parallelism and Concurrency
Topics
- Parallel annotations, array processing
- MVars, Software Transactional Memory (STM)
Reading
- Real World Haskell: chapters 24, 28
- Beautiful Concurrency: The Santa Claus Problem
References
- The accelerate and stm packages
Notes
Additional Topics
More Monads!
Topics
- Monad transformers
- Free monads, interpreters
Reading
- Real World Haskell: chapter 18
- Haskell Wikibooks: Monad Transformers
References
- The transformers, mtl, and free packages
Fancy Types
Topics
- GADTs, indexed types
- Higher-rank polymorphism
Reading
- Haskell Wikibooks: GADTs
- Rank N Types
- A Little Lens Starter Tutorial
- Haskell Wikibooks: Lenses and functional references
References
- The lens package