[jrockway]

So how do they compare to Haskell, especially when it comes to types and code cleanliness?

They let you compile code that has no possible way of working.

it's a compilation error to not check for a lot of problems

Oooh, Java has this too! Checked exceptions!

Oh, but except for the RuntimeError class of exceptions, that is, but errors never happen at runtime, right?