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

[Yomna Nasser]

All the introductory computer science courses at the University of Waterloo
(CS 115/116, 135/136, 145/146) within the faculty of mathematics are taught
in Racket.

There's a fairly extensive list of schools that use Scheme here:
http://www.eimacs.com/schemers.htm (click on "Schools using scheme").


On Thu, Aug 14, 2014 at 4:04 PM, Michal Antkiewicz <
mantkiew at gsd.uwaterloo.ca> wrote:

> 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>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140814/84f8995b/attachment.html>