Hmm, this looks pretty interesting. Would anyone happen to know why they dropped the course originally? Is there any sort of push for more functional programming at MIT now? I saw that they had a Haskell class listed on the SIPB IAP 2012 page.
EDIT: Okay, I can't seem to find the page about the haskell course at CMU now. Maybe I'm thinking of a different university. Oh well, the message stays the same in regards to functional programming.
The change wasn't the primary subject of that interview but Seibel is a Lisper so he was clearly interested in hearing about it and asks some interesting questions about it.
CMU doesn't have any course explicitly on Haskell. There is a freshman course on functional programming, which is taught in Standard ML and therefore definitely has a focus on the advantages of an expressive type system.(http://www.cs.cmu.edu/~15150/).
CMU also has a Haskell course and also is pushing for a complete "elimination" so to speak of OOP from their curriculum (http://reports-archive.adm.cs.cmu.edu/anon/2010/CMU-CS-10-14...).
EDIT: Okay, I can't seem to find the page about the haskell course at CMU now. Maybe I'm thinking of a different university. Oh well, the message stays the same in regards to functional programming.