News for hackers. Stuff that matters.

A comment on Miranda: A non-strict functional language with polymorphic types (1985) [pdf]. Parent comment

Re:Miranda: A non-strict functional language with polymorphi... by bstamour on Wednesday May 03, 2017 @03:51PM (#14259382)
The University of Windsor used it in their first year intro to CS course up until 2015. I wonder how many other places still use it.
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by stealthefocus on Wednesday May 03, 2017 @08:54PM (#14261589)
Yup I learned it there. It's there for the basics of CS like learning recursion they don't really mention if it is functional tbh.
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by dmix on Wednesday May 03, 2017 @04:10PM (#14259556)
Interesting, is Haskell used in many universities?
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by tomsmeding on Wednesday May 03, 2017 @05:11PM (#14260127)
Multiple universities (at least Utrecht and Nijmegen) in the Netherlands use Haskell for teaching functional programming, and I believe some FP research is also carried out there using Haskell.
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by solidangle on Wednesday May 03, 2017 @08:17PM (#14261436)
Radboud University actually switched to Haskell this year, now that Ralf Hinze is teaching the functional programming course. Before they used to teach Clean (which is not that different from Haskell).
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by tOOtl on Wednesday May 03, 2017 @04:21PM (#14259680)
UCL teaches other courses using Haskell (http://www.cs.ucl.ac.uk/students/syllabus/undergrad/101p_pri...), and Imperial College London uses it for teaching functional programming too (http://www.imperial.ac.uk/computing/current-students/courses...).
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by asQuirreL on Wednesday May 03, 2017 @05:18PM (#14260207)
Oxford also taught a few courses in Haskell:

- Functional Programming - Digital Systems - Principals of Programming Languages.

Compilers was primarily in OCaml, and there were several other courses in Scala.

[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by wyager on Thursday May 04, 2017 @02:12AM (#14262849)
UT Austin used Haskell as the intro freshman language until pressure from large regional donors/employers caused them to switch to Java in the early 2000s.
[ Parent | on HN ]
Re:Miranda: A non-strict functional language with polymorphi... by bstamour on Wednesday May 03, 2017 @04:13PM (#14259594)
I'm not sure, honestly. It would be nice if it were.
[ Parent | on HN ]