From: brogoff@speakeasy.net
To: Xavier Leroy <xavier.leroy@inria.fr>
Cc: "A. Ozmen" <aoz@dmailman.com>, "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] record declaration, SML
Date: Fri, 10 Jan 2003 06:34:40 -0800 (PST) [thread overview]
Message-ID: <Pine.LNX.4.44.0301100611270.23012-100000@grace.speakeasy.net> (raw)
In-Reply-To: <20030110102111.A21055@pauillac.inria.fr>
On Fri, 10 Jan 2003, Xavier Leroy wrote:
> > There are a few other conveniences in SML record handling too, like the ...
> > notation, that don't exist in OCaml.
>
> You mean, in pattern-matching over records? Caml offers the same
> functionality without the ... notation, e.g.
>
> type r = { x: int; y: int }
>
> match r with { x = 1 } -> ...
>
> Because records are declared in advance, there is no requirement that
> all record labels be mentioned in a pattern matching.
Right, but if I'm not mistaken, SML forces you to use the ... in record
pattern matching when you want to ignore some labels in the match. As you
suggest, this is a lot more important in SML, but even in OCaml it would be
a bit better IMO to explicitly distinguish between ignoring some labels
and forgetting some, so that slovenly programmers (like yours truly) could
depend on the type checker to slap them when they miss fields. Unfortunately,
OCaml behaves as though every record pattern match had an implicit ..., so I
don't see a good way out even if the developers agreed that this was worth
fixing.
File that one under "petty complaints", or, if you're feeling generous in this
new year, under the non-petty "Oh how I wish we had more polymorphism in
records!" complaint :-)
-- Brian
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2003-01-10 14:34 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-09 13:56 A. Ozmen
2003-01-09 18:27 ` brogoff
2003-01-09 23:15 ` A. Ozmen
2003-01-10 9:21 ` Xavier Leroy
2003-01-10 14:34 ` brogoff [this message]
2003-01-09 22:42 ` Daniel de Rauglaudre
2003-01-09 23:14 ` Alessandro Baretta
2003-01-10 2:59 ` Daniel de Rauglaudre
2003-01-10 3:45 ` brogoff
2003-01-10 7:45 ` Alessandro Baretta
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.LNX.4.44.0301100611270.23012-100000@grace.speakeasy.net \
--to=brogoff@speakeasy.net \
--cc=aoz@dmailman.com \
--cc=caml-list@inria.fr \
--cc=xavier.leroy@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).