There is also a part 0. [0]
A part 2 will soon follow if I read it correctly.
The author of these posts also has a talk on the same topic. [1] I tried posting the entire seminar series a couple of days ago but there wasn't much interest unfortunately. Maybe you'll find it interesting!
[0] https://blog.sigplan.org/2020/11/17/functional-algorithm-des...
[1] https://youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ