It is an ML based language but runs on .NET (Also mono so Linux and mac)

Full static typing so everything you see knows the types and flags errors.

Haskell has some roots in ML but then added all the category theory head spin stuff.

Really like the language. Really terse but expressive. Take a look at my Building a Roguelike series and you will see it used in anger :)