I play around with Haskell quite a bit, but not so much ML. Do you know why ML won out at CMU?
I'm reading Cousineau's "The Functional Approach to Programming", which is based on ML, and I end up just translating most things into Haskell--the syntax feels much cleaner to me.
As far as research goes, CMU and Princeton are (as far as I know) the two ML strongholds in the US, with functional-programming research at most other departments dominated by Haskell. So I imagine the faculty were in favor of ML. The new course (http://www.cs.cmu.edu/~15150/) is being taught by Robert Harper, author of the book Programming in Standard ML (http://www.cs.cmu.edu/~rwh/introsml/).
I'm reading Cousineau's "The Functional Approach to Programming", which is based on ML, and I end up just translating most things into Haskell--the syntax feels much cleaner to me.