[Haskell-cafe] Intermediate Modern Haskell

[Carette, Jacques]

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 <haskell-cafe-bounces at haskell.org> On Behalf Of Johannes

> Waldmann

> Sent: December 17, 2020 6:50 AM

> To: Haskell Cafe <haskell-cafe at haskell.org>

> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201217/9467795b/attachment-0001.html>