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 t

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-design-part-0/ https://blog.sigplan.org/2020/11/17/functional-algorithm-des... [1] https://youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ https://youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ