* Jon Harrop:

> Unfortunately, the quality of this page is substantially worse than
> that of the equivalent pages on SML, Haskell and so on. I have tried
> to improve the page myself but most of my links have been removed
> following complaints to admim by an anonymous, German-speaking,
> OCaml-using physicist with the IRC nic "tf" and all of my
> corrections were removed by Mike Lin. My code examples remain
> though.

Mike has offered to reaccept your submission if it's more
encyclopedia-style.  However, I think your claim that you can do
completely without type annotations is a bit misleading.  You need
some (module) types to give structure to your programs, and some types
simply cannot be inferred (polymorphic record fields, for example).