Videos

Video — Lambda Calculus
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Lambda Calculus Examples
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Evaluation Order
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Church Numerals
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Continuation Passing Style
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — The CPS Transform
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Type Classes
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Functors and Applicatives
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — Monads
Links Slides Slides Slides (4up)
Last updated on Jan 17, 2022
Video — The State Monad
Transcript Hello everyone, welcome to CS 421. When monads were first applied to programming languages, they were not made simply to do interesting things with lists; the thing that got everyone excited was that they could be used to model stateful computations in a purely functional setting.
Last updated on Mar 18, 2022