#236 overall
15-150 Principles of Functional Programming
Carnegie Mellon University
2 recommenders · 2 threads · recommended in 2 years, 2014–2023 · score 1.8
An introductory Carnegie Mellon University course on functional programming, taught in Standard ML, covering recursion, types, and reasoning about programs without mutable state. It is part of CMU's undergraduate curriculum and was co-designed by Bob Harper.
Commenters describe it as a course where each homework made them feel they had unlocked a new level of reasoning with code, and as one that discourages operational reasoning in favor of ML/Haskell-style thinking.
Recommendations by year
20062026
150 was one of my favorite courses at CMU; each homework really made me feel like I unlocked a new level of reasoning with code.
SICP is okay for that but if you really want to discourage operational reasoning you should check out courses based on Haskell or ML. I hear the course Bob Harper co-designed is doing really well at CMU.
http://www.cs.cmu.edu/~15150/