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

Tikhon Jelvis tikhon at jelv.is
Thu Aug 14 17:43:44 UTC 2014

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.


On Thu, Aug 14, 2014 at 10:29 AM, Rustom Mody <rustompmody at gmail.com> 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 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/42f78ceb/attachment.html>

More information about the Haskell-Cafe mailing list