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