Here's one that is really good.
Made in the company I have co-founded, but I'm genuinely a huge fan of this
course.
https://github.com/jagajaga/FP-Course-ITMO
On Sun, 4 Jun 2023, 16:20 Ignat Insarov,
Hello café!
I am looking for some kind of lesson plans, lecture notes or other inspiring materials that would help me construct an advanced course in Software Engineering with Haskell — or other pure functional technologies — with the aim to teach this art to myself and others to the highest level of excellence.
I know there is a choice of published books with «Haskell» in the title, and I shall draw from them. However, I am not super happy about any of the books I looked into so far, because they are so concrete. They would pick a bunch of best practices and some well known libraries and write about that in excruciating detail. It seems a published book cannot afford to say anything abstract or outlandish.
Assorti lecture notes I could find on the Internet are more diverse and fresh, but I have not found many and whichever I found are all somewhat beginner level, they talk about Haskell's syntax and evaluation more than about Software Engineering overall.
The stuff I wish to see would be like:
* Continuation passing style. * Recursion schemes. * Polynomial functors. * The nature of `IO`. * Evaluation of Haskell on a graph machine. * The expression problem.
In short, stuff that transcends specific libraries and concrete code.
In the ideal, I wish there was a literature review that refers to foundational research.
I do not expect ready-made perfection; please send me whatever you think would help, even your brief thoughts and wishes. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.