Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-03 (21:17)
From: Florian Weimer <fw@d...>
Subject: Re: [Caml-list] Wikipedia
* 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).