At my college (www.ii.uib.no) they've restructured the "programming paradigms" course (basic compiler/language theory) from using Standard ML to using Haskell for the strongly typed functional bit. While I appreciate being forced to 'learn' Haksell -- I found Standard ML much easier than Haskell. I did manage to implement a small language for calculating numbers in both, in the end.