At a glance...
| Assignment | Due Date |
|---|---|
| Assignment 0 | September 20 |
| Assignment 1 | September 27 |
| Assignment 2 | October 11 |
| Assignment 3 | November 1 |
| Assignment 4 | November 22 |
| Project Proposal | November 15 |
| Final Project | December 10 |
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
- Assignment 0 (Hello, World!) DUE: September 20
- Assignment 1 (Card Games) DUE: September 27
Notes
Week 3–4: User Interaction
Topics
- Input/output, console programs
- Error handling, references
Reading
- Real World Haskell: chapters 4, 5, 7
Exercises
- Assignment 2 (Blackjack) DUE: October 11
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
- Assignment 3 (Red-Black Trees) DUE: November 1
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
- Assignment 4 (Calculator) DUE: November 22
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
Project Proposal: DUE November 15
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
Final Project: DUE December 10
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