From: "Mattias Engdegård" <mattias@virtutech.se>
To: garrigue@math.nagoya-u.ac.jp
Cc: skaller@users.sourceforge.net, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Question on writing efficient Ocaml.
Date: Fri, 29 Dec 2006 12:15:09 +0100 [thread overview]
Message-ID: <200612291115.kBTBF9E26561@virtutech.se> (raw)
In-Reply-To: <20061229.150507.32045202.garrigue@math.nagoya-u.ac.jp> (message from Jacques Garrigue on Fri, 29 Dec 2006 15:05:07 +0900 (JST))
>In general, I wouldn't explicitly advise against using single
>constructor type definitions for documentation, except when the
>argument is a single int or float and performance matters.
Is there a reason for this? To my innocent eyes, code like
type length = Length of int
looks quite reasonable and could be useful at times.
If binary compatibility with old OCaml releases would be the reason,
is there a policy stating when such ABI details can be changed?
next prev parent reply other threads:[~2006-12-29 11:15 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20061203110003.6804FBC6A@yquem.inria.fr>
2006-12-28 11:42 ` Ian Oversby
2006-12-28 16:26 ` [Caml-list] " Jon Harrop
2006-12-28 17:13 ` skaller
2006-12-29 6:05 ` Jacques Garrigue
2006-12-29 11:15 ` Mattias Engdegård [this message]
2007-01-06 0:52 ` Nathaniel Gray
2007-01-06 1:01 ` Philippe Wang
2007-01-06 1:15 ` brogoff
2007-01-06 2:27 ` Martin Jambon
2007-01-08 22:23 ` Nathaniel Gray
2006-12-28 19:24 ` Manfred Lotz
2006-12-29 1:23 ` [Caml-list] " Andrej Bauer
2006-12-29 9:58 ` Ian Oversby
2006-12-29 2:07 ` Jon Harrop
2007-01-03 16:43 ` Serge Aleynikov
[not found] <15946.213.30.139.86.1167315231.squirrel@webmail.nerim.net>
2006-12-28 16:03 ` Ian Oversby
2006-12-28 17:00 ` Richard Jones
2006-12-28 22:23 ` Jon Harrop
2006-12-29 9:42 ` Ian Oversby
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=200612291115.kBTBF9E26561@virtutech.se \
--to=mattias@virtutech.se \
--cc=caml-list@yquem.inria.fr \
--cc=garrigue@math.nagoya-u.ac.jp \
--cc=skaller@users.sourceforge.net \
/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