From: Richard Jones <rich@annexia.org>
To: Ian Oversby <oversby@hotmail.com>
Cc: oandrieu@nerim.net, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Question on writing efficient Ocaml.
Date: Thu, 28 Dec 2006 17:00:38 +0000 [thread overview]
Message-ID: <20061228170037.GA688@furbychan.cocan.org> (raw)
In-Reply-To: <BAY114-F26A1A24544A01523B4693CA9C70@phx.gbl>
On Thu, Dec 28, 2006 at 04:03:55PM +0000, Ian Oversby wrote:
> Does this mean that unboxing is inefficient in OCaml? I've written an
> alternative version of the C++ that returns NULL instead of out of bound
> values which was close to the same speed so it would be a little
> disappointing if I couldn't achieve something similar in OCaml with Some /
> None.
It's not so much that boxing/unboxing is inefficient in OCaml, but
rather that ocamlopt compiles exactly what you ask it to. If you ask
it to use a box, it uses a box! (Well, mostly ...)
See: http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html
in particular the note about Gallium.
Rich.
--
Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology - http://merjis.com
Internet Marketing and AdWords courses - http://merjis.com/courses - NEW!
Merjis blog - http://blog.merjis.com - NEW!
next prev parent reply other threads:[~2006-12-28 17:00 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
[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 [this message]
2006-12-28 22:23 ` Jon Harrop
2006-12-29 9:42 ` Ian Oversby
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
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-29 1:23 ` Andrej Bauer
2006-12-29 9:58 ` Ian Oversby
2006-12-29 2:07 ` Jon Harrop
2007-01-03 16:43 ` Serge Aleynikov
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=20061228170037.GA688@furbychan.cocan.org \
--to=rich@annexia.org \
--cc=caml-list@yquem.inria.fr \
--cc=oandrieu@nerim.net \
--cc=oversby@hotmail.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).