This advanced course on functional programming in Haskell is designed for second year computing students in Nottingham, but the materials are freely available on YouTube. The course covers topics like Sudoku, functors, monads, reasoning about programs, compiler correctness, and more. Surprising content includes lectures on topics like “Making Append Vanish: Fast Reverse” and “Making Append Vanish II: Fast Flatten.” The course starts in January 2024, with two videos released per week. Additional material includes a YouTube playlist, overview slides, review of Haskell Sudoku code, and links to resources like the Haskell home page and GHC compiler.
http://www.cs.nott.ac.uk/~pszgmh/afp.html