Course - Functional Programming MT22

Created: October 17, 2022

---

The first course in programming, using Haskell as the programming language. This might seem like a strange choice for a first programming language rather than something more conventional like Python. The idea behind this choice is that that you can apply mathematical reasoning to programs, whether functional or not, but using a functional programming language makes this a lot easier to see.

For example, in the lecture on building a Sudoku solver, we started with an inefficient program (try every single solution) and then made logical deductions to end up with an equivalent but much faster program.

There is a very heavy focus on one particular concept: folds, which is also called reduce or accumulate in other programming languages. It was interesting but also took up a strangley large chunk of the course.

• Course Website
• Lecture Notes:
  1. Functions and lists (Lecture01.lhs) (video capture)
  2. Definitions (Lecture02.lhs) (video capture)
  3. Expressions, Types and Parametric Polymorphism (Lecture03.lhs) (video capture)
  4. Overloading and Evaluation (Lecture04.lhs) (video capture)
  5. Defining functions on lists (Lecture05.lhs) (video capture)
  6. Sorting (Lecture06.lhs) (video capture)
  7. Sudoku (setting up the problem) (Lecture07.lhs) (video capture)
  8. Sudoku (solving it with practical efficiency) (video capture) (Lecture08.lhs)
  9. Proof by induction (video capture) (Lecture09.lhs)
  10. Left and right folds (video capture) (Lecture10.lhs)
  11. Types and trees
      (video capture) (Lecture11.lhs)
  12. Some efficiency concerns (video capture) (Lecture12.lhs)
  13. Countdown - the setup (video capture) (Lecture13.lhs)
  14. Countdown - dynamic programming solutions (video capture) (Lecture14.lhs)
  15. Building a parser (video capture) (Lecture15.lhs)
  16. Monads and Sequencing (video capture) (Lecture16.lhs)
• Related courses:
  • [[Course - Imperative Programming I and II HT23]]^U
  • [[Course - Imperative Programming III TT23]]^U
• Other courses this term: [[Courses MT22]]^U

Notes

• [[Notes - Functional Programming MT22, Fold fusion]]^U
• [[Notes - Functional Programming MT22, Fold cheatsheet]]^U
• [[Notes - Functional Programming MT22, Common functions]]^U
• [[Notes - Functional Programming MT22, Duality theorems]]^U
• [[Notes - Functional Programming MT22, Misc]]^U

Lectures

• [[Lecture - Functional Programming MT22, I]]^U
• [[Lecture - Functional Programming MT22, II]]^U
• [[Lecture - Functional Programming MT22, III]]^U
• …
• [[Lecture - Functional Programming MT22, V]]^U
• [[Lecture - Functional Programming MT22, VI]]^U
• [[Lecture - Functional Programming, MT22, VII]]^U
• [[Lecture - Functional Programming, MT22, VIII]]^U
• …something got messed up with the numbering…
• [[Lecture - Functional Programming MT22, XI]]^U
• [[Lecture - Functional Programming MT22, XII]]^U
• [[Lecture - Functional Programming MT22, XIII]]^U
• [[Lecture - Functional Programming MT22, XIV]]^U
• [[Lecture - Functional Programming MT22, XV]]^U
• [[Lecture - Functional Programming MT22, XVI]]^U

Problem Sheets

• Sheet 1
• Sheet 2, [[Problem Sheet - Functional Programming MT22, II]]^?
• Sheet 3, [[Problem Sheet - Functional Programming MT22, III]]^?
• Sheet 4, [[Problem Sheet - Functional Programming MT22, IV]]^?
• Sheet 5, [[Problem Sheet - Functional Programming MT22, V]]^?
• Sheet 6, [[Problem Sheet - Functional Programming MT22, VI]]^?

Proofs

• [[Proofs - Functional Programming MT22]]^U

---

Related posts

• [[Lecture - Functional Programming MT22, V]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XIV]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XV]]^U

  (incoming)
• [[Course - Imperative Programming I and II HT23]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XI]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XII]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, III]]^U

  (incoming)
• [[Notes - Functional Programming MT22, Fold cheatsheet]]^U

  (incoming)
• [[University Notes]]^U

  (incoming)
• [[Notes - Functional Programming MT22, Misc]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, I]]^U

  (incoming)
• [[Lecture - Functional Programming, MT22, VII]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, VI]]^U

  (incoming)
• [[Notes - Functional Programming MT22, Duality theorems]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XVI]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, XIII]]^U

  (incoming)
• [[Notes - Functional Programming MT22, Fold fusion]]^U

  (incoming)
• [[Lecture - Functional Programming, MT22, VIII]]^U

  (incoming)
• [[Courses MT22]]^U

  (incoming)
• [[Notes - Functional Programming MT22, Common functions]]^U

  (incoming)
• [[Lecture - Functional Programming MT22, II]]^U

  (incoming)
• [[FRACTRAN and theoretically cheating at your A-levels]]^B

  (sim: 0.523)