<div dir="ltr"><div>Hi, <br><br>CS 115: Introduction to Computer Science 1 @ University of Waterloo, Canada is using DrRacket.<br><br><a href="https://www.student.cs.uwaterloo.ca/~cs115/DrRHelp">https://www.student.cs.uwaterloo.ca/~cs115/DrRHelp</a><br>
<br></div><div>Unfortunately, this is not the case in the Software Engineering program.<br></div><div><br></div>Best,<br>-- <br>Michal Antkiewicz, M.Sc., Ph.D<br>Research Engineer<br>Network for the Engineering of Complex Software-Intensive Systems (NECSIS)<br>
<br>University of Waterloo<br><a href="http://gsd.uwaterloo.ca/mantkiew" target="_blank">http://gsd.uwaterloo.ca/mantkiew</a><br><a href="mailto:mantkiew@gsd.uwaterloo.ca" target="_blank">mantkiew@gsd.uwaterloo.ca</a><br>
<div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Aug 14, 2014 at 2:42 PM, Nicola Gigante <span dir="ltr"><<a href="mailto:nicola.gigante@gmail.com" target="_blank">nicola.gigante@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div>Il giorno 14/ago/2014, alle ore 19:29, Rustom Mody <<a href="mailto:rustompmody@gmail.com" target="_blank">rustompmody@gmail.com</a>> ha scritto:</div>
<div><div class="h5"><div><br></div><blockquote type="cite"><div><div dir="ltr"><div><div><div>I am collecting some data on FP used to introduce programming<br></div>ie as a first course: <a href="http://blog.languager.org/2014/08/universities-starting-functional.html" target="_blank">http://blog.languager.org/2014/08/universities-starting-functional.html</a><br>



<br></div>Naturally the haskell link is the first: <br><a href="http://www.haskell.org/haskellwiki/Haskell_in_education" target="_blank">http://www.haskell.org/haskellwiki/Haskell_in_education</a><br><br></div>I was just wondering if there are more extremal cases of this:<br>



eg Are there any univs using Idris/Agda to *introduce* programming/math/proofs etc<br> <br clear="all"></div></div></blockquote><div><br></div></div></div><div>The first programming course at the little University of Udine (Italy) uses Scheme. It is very effective for students with no background on programming and illuminating for who had previous exposure to imperative languages at high school (like me, at the time).</div>
<br><div>The functional programming course at the third year continues with Haskell. </div><div><br></div><div>Greetings,</div><div>Nicola</div></div><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br><br clear="all"><br><a href="mailto:mantkiew@gsd.uwaterloo.ca" target="_blank"></a>
</div></div></div>