<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 120.2pt 72.0pt 120.15pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-CA" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoPlainText">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...<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">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.<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">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!
<span style="font-family:"Segoe UI Emoji",sans-serif">😉</span><o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">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.]<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">-----Original Message-----</span></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">From: Haskell-Cafe <haskell-cafe-bounces@haskell.org> On Behalf Of Johannes</span></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">Waldmann</span></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">Sent: December 17, 2020 6:50 AM</span></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">To: Haskell Cafe <haskell-cafe@haskell.org></span></p>
<p class="MsoPlainText">> <span lang="EN-US" style="mso-fareast-language:EN-CA">Subject: Re: [Haskell-cafe] Intermediate Modern Haskell</span></p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> Hi,</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> when I was in a similar situation two years ago (an advanced course, after</p>
<p class="MsoPlainText">> something basic) I had this list of topics <a href="https://imweb.imn.htwk-leipzig.de/~waldmann/edu/modul/seminar/fkps/">
<span style="color:windowtext;text-decoration:none">https://imweb.imn.htwk-</span></a></p>
<p class="MsoPlainText"><a href="https://imweb.imn.htwk-leipzig.de/~waldmann/edu/modul/seminar/fkps/"><span style="color:windowtext;text-decoration:none">> leipzig.de/~waldmann/edu/modul/seminar/fkps/</span></a></p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> This was not a lecture but "Seminar", meaning that students give talks.</p>
<p class="MsoPlainText">> Not all topics were actually presented - depending on number, and preferences,</p>
<p class="MsoPlainText">> of participants.</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> Meanwhile, I would probably add something on Foldable (cf. Section 7 of</p>
<p class="MsoPlainText">> <a href="https://arxiv.org/abs/1808.08329"><span style="color:windowtext;text-decoration:none">https://arxiv.org/abs/1808.08329</span></a>)</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> and I do plan to use <a href="https://thinkingwithtypes.com/">
<span style="color:windowtext;text-decoration:none">https://thinkingwithtypes.com/</span></a> next time.</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> Best regards, Johannes.</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> PS: overview of my basic course:</p>
<p class="MsoPlainText">> <a href="https://imweb.imn.htwk-leipzig.de/~waldmann/talk/17/wflp/">
<span style="color:windowtext;text-decoration:none">https://imweb.imn.htwk-leipzig.de/~waldmann/talk/17/wflp/</span></a></p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> with that regard - on your list of topics:</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> "Basic: ... algebraic data types" - comes last - good heavens!</p>
<p class="MsoPlainText">> For me, it's first. See also Joachim's CIS 194.</p>
<p class="MsoPlainText">> </p>
<p class="MsoPlainText">> "likely cover: ... recursion schemes" - by all means do!</p>
<p class="MsoPlainText">> Second lecture of basic course! Full marks for Brent's version of CIS194</p>
<p class="MsoPlainText">> <a href="https://www.cis.upenn.edu/~cis194/spring13/lectures.html">
<span style="color:windowtext;text-decoration:none">https://www.cis.upenn.edu/~cis194/spring13/lectures.html</span></a></p>
<p class="MsoPlainText">> _______________________________________________</p>
<p class="MsoPlainText">> Haskell-Cafe mailing list</p>
<p class="MsoPlainText">> To (un)subscribe, modify options or view archives go to:</p>
<p class="MsoPlainText">> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">
<span style="color:windowtext;text-decoration:none">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</span></a></p>
<p class="MsoPlainText">> Only members subscribed via the mailman list are allowed to post.</p>
</div>
</body>
</html>