So, I just started learning Haskell and I learned a bit of Standard ML in the past.

I was/am expecting Haskell to be broadly similar to ML - what's the main way the two languages differ?

edit: never mind, from the reddit discussion you linked:

> while these languages are undoubtedly strongly typed, they are not referentially transparent by default, and actually embrace some levels of imperative programming.

Good read, thanks!