From: Brian Rogoff <bpr@best.com>
To: caml-list@inria.fr
Subject: [Caml-list] petty complaints
Date: Sun, 1 Apr 2001 21:26:59 -0700 (PDT) [thread overview]
Message-ID: <Pine.BSF.4.21.0104012033020.11923-100000@shell5.ba.best.com> (raw)
Hi,
In response to the recent query about string libraries I took my own
advice and ported the Mosml substring library to OCaml. This exercise
raised a question which I've had before but never seen asked or answered,
namely, why doesn't OCaml use something like SML's order datatype
GREATER | EQUAL | LESS for comparison rather than an integer? It seems
against the spirit of static typing. What's the rationale? Efficiency?
Hysterical raisins?
Another unrelated trifling question concerns the syntax of numerical
literals. Would it be possible to allow a la Ada the insertion of _s in
a numerical literal so instead of 1000000,10000000,and 100000000 we could
write 1_000_000, 10_000_000, 100_000_000? Of course, as in Ada, you could
allow wrongly positioned or superfluous _s (1_00_00_______0) but I think
this trivial change can make reading numbers a bit nicer.
-- Brian
-------------------
To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr
next reply other threads:[~2001-04-02 4:27 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-04-02 4:26 Brian Rogoff [this message]
2001-04-02 13:32 ` Xavier Leroy
2001-04-02 15:24 ` Brian Rogoff
2001-04-02 20:17 ` Chris Hecker
2001-04-02 19:45 ` Brian Rogoff
2001-04-09 5:23 ` John Max Skaller
2001-04-09 15:34 ` Christian Lindig
2001-04-09 16:01 ` Brian Rogoff
2001-04-09 16:24 ` David McClain
2001-04-09 16:29 ` Pierre Weis
2001-04-10 22:25 ` Marcin 'Qrczak' Kowalczyk
2001-04-24 15:23 [Caml-list] Petty complaints Brian Rogoff
2001-04-25 6:55 ` Fabrice Le Fessant
2001-04-25 7:00 ` Fabrice Le Fessant
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=Pine.BSF.4.21.0104012033020.11923-100000@shell5.ba.best.com \
--to=bpr@best.com \
--cc=caml-list@inria.fr \
/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).