Hurray for google translate... I could have dealt with French easily, deciphered quite a few other Romance languages, but German isn't in my bag of tricks. Oh, it wasn't hard to mostly guess, but since I didn't have to... Nice list of topics. I should get a copy of Thinking with Types and officially review it for this purpose. To late for this year, maybe next time. On the topic list: this is the TOC of Thompson's book. Naturally algebraic data types show up already in chapter 1, but are not named as such until later, and then keep getting revisited. So it's not as bad as that! 😉 Yes, Brent's version of CIS194 is brilliant. I could probably use material from the latter half of that course too. [Brent and I go way back - look at the 2nd paragraph of the Acknowledgements in his PhD thesis for details.]

-----Original Message-----

From: Haskell-Cafe On Behalf Of Johannes

Waldmann

Sent: December 17, 2020 6:50 AM

To: Haskell Cafe

Subject: Re: [Haskell-cafe] Intermediate Modern Haskell

Hi,

when I was in a similar situation two years ago (an advanced course, after

something basic) I had this list of topics https://imweb.imn.htwk-https://imweb.imn.htwk-leipzig.de/~waldmann/edu/modul/seminar/fkps/

leipzig.de/~waldmann/edu/modul/seminar/fkps/https://imweb.imn.htwk-leipzig.de/~waldmann/edu/modul/seminar/fkps/

This was not a lecture but "Seminar", meaning that students give talks.

Not all topics were actually presented - depending on number, and preferences,

of participants.

Meanwhile, I would probably add something on Foldable (cf. Section 7 of

https://arxiv.org/abs/1808.08329)

and I do plan to use https://thinkingwithtypes.com/ next time.

Best regards, Johannes.

PS: overview of my basic course:

https://imweb.imn.htwk-leipzig.de/~waldmann/talk/17/wflp/

with that regard - on your list of topics:

"Basic: ... algebraic data types" - comes last - good heavens!

For me, it's first. See also Joachim's CIS 194.

"likely cover: ... recursion schemes" - by all means do!

Second lecture of basic course! Full marks for Brent's version of CIS194

https://www.cis.upenn.edu/~cis194/spring13/lectures.html

_______________________________________________

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.