Have you considered say proposing a class on theorem proving that uses coq? <a href="http://www.coq.inria.fr">www.<cite><b>coq</b>.inria.fr</cite></a> . Such a class would entail teaching how to program using the coq term language, which is itself a pure functional language, albeit one with some restrictions related to everything impure. As a matter of course in such a class you would naturally also mention that there are languages such as haskell which lack such restrictions/ have clever ways around them. <br>

<br>-Carter<br><br><div class="gmail_quote">On Sun, Aug 2, 2009 at 8:52 AM, Petr Pudlak <span dir="ltr">&lt;<a href="mailto:deb@pudlak.name">deb@pudlak.name</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div class="im">On Sun, Aug 02, 2009 at 08:36:27AM -0400, Carter Schonwald wrote:<br>
&gt; are you a student (undergrad or grad) or  faculty (junior or senior)? These<br>
&gt; are all very different scenarios and accordingly different goals are<br>
&gt; realistic.<br>
<br>
</div>I&#39;m a faculty member (postdoc). I&#39;ve been working in the field of automated<br>
theorem proving, but for about a year I&#39;m also very interested in Haskell and<br>
in general in the theory behind functional languages. Since I find FP to be a<br>
very important programming concept, I&#39;d like to achieve that we start teaching<br>
it at the university.<br>
<font color="#888888"><br>
Petr<br>
</font></blockquote></div><br>