A few years ago (when Steve was still @ amazon), ocaml was one of his favorite language, and AFAIK, ocaml and haskell are the two most proeminent languages with

A few years ago (when Steve was still @ amazon), ocaml was one of his favorite language, and AFAIK, ocaml and haskell are the two most proeminent languages with a powerful type system. I think it is fair to say he has at least some vague idea of what he is talking about, even though it seems that in the recent years he was more enclined to go the dynamic typing route (again, only judging from his blog)