[Haskell-cafe] haskell (and beyond) in education
ynasser at oanda.com
Thu Aug 14 20:37:02 UTC 2014
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
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:
> CS 115: Introduction to Computer Science 1 @ University of Waterloo,
> Canada is using DrRacket.
> Unfortunately, this is not the case in the Software Engineering program.
> Michal Antkiewicz, M.Sc., Ph.D
> Research Engineer
> Network for the Engineering of Complex Software-Intensive Systems (NECSIS)
> University of Waterloo
> mantkiew at gsd.uwaterloo.ca
> On Thu, Aug 14, 2014 at 2:42 PM, Nicola Gigante <nicola.gigante at gmail.com>
>> 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:
>> Naturally the haskell link is the first:
>> 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-Cafe mailing list
>> Haskell-Cafe at haskell.org
> <mantkiew at gsd.uwaterloo.ca>
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe