Fair enough, but OCaml is a multi-paradigm language (which just happens to have an excellent functional language built in). OCaml's version of the C++ STL is mu

Fair enough, but OCaml is a multi-paradigm language (which just happens to have an excellent functional language built in). OCaml's version of the C++ STL is much cleaner, for example. Python supports functional programming somewhat, but it has an uneasy relationship to the rest of the language (i.e., Python lambdas are quite weak, apparently for parsing reasons), and Guido has said it will probably get cut eventually. It's a pretty good syntax overall, though I dislike having to explicitly specify "self" so much in classes. Common Lisp (more so than Scheme) is also multi-paradigm, but that's already covered here; I think it's a better syntax overall, but I would love to see the features of ML's type system integrated with it. I would compare OCaml to Oz/Mozart as well, but I don't have any significant experience with it.