haskell (and beyond) in education

Rustom Mody

14 Aug 2014 14 Aug '14

1:29 p.m.

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

Attachments:

attachment.html (text/html — 742 bytes)

Show replies by date

Tikhon Jelvis

14 Aug 14 Aug

1:43 p.m.

I asked a question on Quora about which universities use functional programming in an intro CS course, and got a small list of replies. At the very least, this could give you a place to start. https://www.quora.com/Which-universities-teach-their-first-CS-course-in-a-fu... On Thu, Aug 14, 2014 at 10:29 AM, Rustom Mody wrote:

...

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

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Nicola Gigante

2:42 p.m.

Il giorno 14/ago/2014, alle ore 19:29, Rustom Mody 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

Michal Antkiewicz

4:04 p.m.

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@gsd.uwaterloo.ca On Thu, Aug 14, 2014 at 2:42 PM, Nicola Gigante wrote:

...

Il giorno 14/ago/2014, alle ore 19:29, Rustom Mody 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Yomna Nasser

4:37 p.m.

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@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@gsd.uwaterloo.ca

On Thu, Aug 14, 2014 at 2:42 PM, Nicola Gigante wrote:

...
Il giorno 14/ago/2014, alle ore 19:29, Rustom Mody 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

3935

Age (days ago)

3935

Last active (days ago)

List overview

Download

4 comments

5 participants

participants (5)

Michal Antkiewicz
Nicola Gigante
Rustom Mody
Tikhon Jelvis
Yomna Nasser