http://en.wikipedia.org/wiki/ML_programming_language

There is a verison called F# on the MS research that is downloadable. It is probably the most different type of language I have experience with. I have never used F# though, I usually used the one's avaible on UNIX.