<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 1/24/2017 5:58 PM, Noon van der Silk
wrote:<br>
</div>
<blockquote
cite="mid:CADt_azab9_Rk8Q8_J7WS0vEfnXNM38oDgbq7r0oz9QL_4kaDgg@mail.gmail.com"
type="cite">
<div dir="ltr">I think something useful could be memory concerns:
analysing space leaks, strictness, fusion, and related areas.
<div><br>
</div>
<div>--</div>
<div>Noon</div>
<div><br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Wed, Jan 25, 2017 at 9:14 AM, KC <span
dir="ltr"><<a moz-do-not-send="true"
href="mailto:kc1956@gmail.com" target="_blank">kc1956@gmail.com</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">I would encourage GUI development using GHCJS
or FRP or ... :)<br>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">
<div>
<div class="h5">On Tue, Jan 24, 2017 at 12:53 PM,
Conrad Cunningham <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:hcc.olemiss@gmail.com"
target="_blank">hcc.olemiss@gmail.com</a>></span>
wrote:<br>
</div>
</div>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>
<div class="h5">
<div dir="ltr">
<div class="gmail_default"
style="font-family:tahoma,sans-serif">I am
teaching a class in Haskell-based functional
programming for advanced undergraduates and
beginning graduate students at my institution.
None of the students have previously used
Haskell and for most of my students functional
programming is new.</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">Because
I am teaching this in a "multiparadigm
programming" course, I want to expand beyond
what I have usually covered in the
Haskell-based "functional programming" course
and cover a few topics in areas such as
parallel, concurrent, distributed, reactive,
or metaprogramming (domain-specific languages,
Template Haskell, etc.).</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">Assuming
my course has more or less covered the topics
in <i>Learn You a Haskell for Great Good </i>(with
likely shallow coverage of monads) at that
point, what would be good additional topics to
cover, libraries to use, and tutorial or
teaching resources to use? Although I have
taught fundamental Haskell FP topics for many
years, I have not delved into any of these
"advanced" topics.</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif"><br>
</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">Thanks,</div>
<div class="gmail_default"
style="font-family:tahoma,sans-serif">Conrad</div>
<span class="m_-8214364948145295098HOEnZb"><font
color="#888888">
<div><br>
</div>
-- <br>
</font></span></div>
</div>
</div>
</blockquote>
</div>
</div>
</blockquote>
</div>
</div>
</blockquote>
If you want to focus on math a bit, start with
purity/parametricity/type safety, and then work up from there. You
can lead into the Curry-Howard isomorphism and theorem proving
languages like agda, or look in the direction of -XSafe, or the
algebra of ADTs / free theorems / djinn. Both of these trains of
thought eventually merge at the idea of automation acquiring
knowledge from code and using it to write more code for you.<br>
</body>
</html>