[Haskell-cafe] Course materials to help me teach Software Engineering with Haskell?

[Jons Mostovojs]

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, <kindaro at gmail.com> wrote:

> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230604/599a1982/attachment.html>