From: David Monniaux <monniaux@dmi.ens.fr>
To: flaig@hallucinogene.sanctacaris.net
Cc: caml-list@inria.fr
Subject: Re: Re: [Caml-list] newbie questions
Date: Tue, 8 Apr 2003 19:42:00 +0200 (MEST) [thread overview]
Message-ID: <Pine.GSO.4.03.10304081933260.20841-100000@basilic.ens.fr> (raw)
In-Reply-To: <20030408172846.512CB3FDB@sitemail.everyone.net>
On Tue, 8 Apr 2003, Dr.Dr.Ruediger M.Flaig wrote:
> first thanks a lot to all for their suggestions, which considerable
> helped me to make myself at home with CAML... My general impression,
> however, is that there is still no match for arrays (no pun intended)
> when fast processing of large amounts of data is an issue. Does this
> correspond to your experiences?
Please define "fast processing of large amounts of data". This can mean
widely different things.
If you are dealing with matrices (numerical analysis...), yes, probably
you want Array's or Bigarray's.
Otherwise, even for structures mapping an integer range to values, arrays
may not be the best choice. I have in mind a particular example where we
used a balanced binary map from integers to values, because this allowed
implementing certain optimizations (see section 6.2 of
http://www.di.ens.fr/~monniaux/biblio/Static_analyzer_LNCS2566.pdf ).
Regards,
David Monniaux http://www.di.ens.fr/~monniaux
Laboratoire d'informatique de l'École Normale Supérieure,
Paris, France
-------------------
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
prev parent reply other threads:[~2003-04-09 15:59 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-04-08 17:28 Dr.Dr.Ruediger M.Flaig
2003-04-08 17:42 ` David Monniaux [this message]
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.GSO.4.03.10304081933260.20841-100000@basilic.ens.fr \
--to=monniaux@dmi.ens.fr \
--cc=caml-list@inria.fr \
--cc=flaig@hallucinogene.sanctacaris.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