Haskell's good. I might recommend an ML first as a smaller step (type system much like Haskell's, mostly similar design patterns, but tackle pervasive laziness later...). YMMV, of course.