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 19
• Assignment 1 (Card Games) DUE: September 26

Notes

• Lecture 1
• Lecture 2

Topics

• Input/output, console programs
• Error handling, references

Reading

• Real World Haskell: chapters 4, 5, 7

Exercises

• Assignment 2 (Blackjack) DUE: October 11

Notes

• Lecture 3
• Lecture 4

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: October 31

Notes

• Lecture 5
• Lecture 6

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 21

Notes

• Lecture 7
• Lecture 8

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

• Lecture 9
• Lecture 10

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

• Lecture 11

Bonus Exercises

• Bonus Assignment (Numerical Methods with Functional Programming in Python). You can use this template to fill in your answers.

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

Topics

• Monad transformers
• Free monads, interpreters

Reading

• Real World Haskell: chapter 18
• Haskell Wikibooks: Monad Transformers

References

• The transformers, mtl, and free packages

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