What advantage does Haskell have over a "typed" language like Java or C++
I was in a job interview for a Perl position and I volunteered some information about learning Haskell in my freetime since it has improved my Perl programming so much.
Then my boss asked me this: "what advantage does programming in Haskell have over Java or C++. They have strong typing don't they"
And my answer was: "they don't have type inferencing" --- but is not advantage, only something different it has. What would you say are the advantages of Haskell over Java or C++?