[Haskell-cafe] haskell (and beyond) in education

[Michal Antkiewicz]

Hi,

CS 115: Introduction to Computer Science 1 @ University of Waterloo, Canada
is using DrRacket.

https://www.student.cs.uwaterloo.ca/~cs115/DrRHelp

Unfortunately, this is not the case in the Software Engineering program.

Best,
-- 
Michal Antkiewicz, M.Sc., Ph.D
Research Engineer
Network for the Engineering of Complex Software-Intensive Systems (NECSIS)

University of Waterloo
http://gsd.uwaterloo.ca/mantkiew
mantkiew at gsd.uwaterloo.ca


On Thu, Aug 14, 2014 at 2:42 PM, Nicola Gigante <nicola.gigante at gmail.com>
wrote:

> Il giorno 14/ago/2014, alle ore 19:29, Rustom Mody <rustompmody at gmail.com>
> ha scritto:
>
> I am collecting some data on FP used to introduce programming
> ie as a first course:
> http://blog.languager.org/2014/08/universities-starting-functional.html
>
> Naturally the haskell link is the first:
> http://www.haskell.org/haskellwiki/Haskell_in_education
>
> I was just wondering if there are more extremal cases of this:
> eg Are there any univs using Idris/Agda to *introduce*
> programming/math/proofs etc
>
>
>
> 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).
>
> The functional programming course at the third year continues with
> Haskell.
>
> Greetings,
> Nicola
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>


<mantkiew at gsd.uwaterloo.ca>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140814/fbefd67d/attachment.html>