From: Florian Weimer <fw@deneb.enyo.de>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Wikipedia
Date: Thu, 03 Nov 2005 22:16:59 +0100 [thread overview]
Message-ID: <87sludctys.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: <200511031726.59561.jon@ffconsultancy.com> (Jon Harrop's message of "Thu, 3 Nov 2005 17:26:59 +0000")
* 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).
next prev parent reply other threads:[~2005-11-03 21:17 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-11-03 17:26 Wikipedia Jon Harrop
2005-11-03 19:24 ` [Caml-list] Wikipedia Gerd Stolpmann
2005-11-04 2:31 ` skaller
2005-11-04 13:46 ` [Caml-list] what is high-level (was: Wikipedia) Blue Prawn
2005-11-04 15:13 ` Brian Hurt
2005-11-04 15:28 ` David Teller
2005-11-04 16:02 ` skaller
2005-11-04 16:06 ` [Caml-list] what is high-level Alan Falloon
2005-11-04 16:10 ` William D. Neumann
2005-11-04 16:14 ` David Teller
2005-11-05 0:29 ` skaller
2005-11-05 22:05 ` Michael Walter
2005-11-06 14:28 ` skaller
2005-11-04 16:50 ` Matt Gushee
2005-11-03 19:30 ` [Caml-list] Wikipedia Kip Macy
2005-11-03 20:46 ` Matt Gushee
2005-11-03 21:08 ` Mike Lin
2005-11-03 21:16 ` Florian Weimer [this message]
2005-11-04 17:15 ` Thomas Fischbacher
2005-11-04 21:05 ` Alex Goldman
2005-11-04 21:53 ` Gerd Stolpmann
2005-11-04 22:24 ` Alex Goldman
2005-11-06 19:32 ` Thomas Fischbacher
2005-11-07 6:44 ` Tony Edgin
2005-11-07 12:23 ` Thomas Fischbacher
2005-11-07 12:55 ` skaller
2005-11-07 13:03 ` Thomas Fischbacher
2005-11-06 20:22 Frederic GAVA
2005-11-06 23:29 ` skaller
2005-11-07 10:14 ` Andreas Rossberg
2005-11-07 12:25 ` skaller
2005-11-07 1:21 ` Thomas Fischbacher
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87sludctys.fsf@mid.deneb.enyo.de \
--to=fw@deneb.enyo.de \
--cc=caml-list@inria.fr \
--cc=jon@ffconsultancy.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).