From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
To: Diego Olivier Fernandez Pons
<Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr>
Cc: bcpierce@cis.upenn.edu, caml-list@inria.fr
Subject: Re: [Caml-list] OCaml standard library improvement
Date: Wed, 26 Feb 2003 08:47:14 +0100 [thread overview]
Message-ID: <15964.28930.80380.699147@lri.lri.fr> (raw)
In-Reply-To: <Pine.A41.4.44.0302251836290.4448452-100000@ibm1.cicrp.jussieu.fr>
> smlnj-lib/HashCons is mostly equivalent to JCF ones (I remember having
> read somewhere that JCF actually used some tricks found in the SML/NJ
> library)
No, that's incorrect. I built this library from scratch, without any
knowledge of something similar in SML/NJ.
But someone pointed to me later that I used some trick similar to one
used in SML/NJ hash tables (namely, to keep the hash key in the
buckets to avoid its recomputation when resizing the hash table).
--
Jean-Christophe
-------------------
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-02-26 7:57 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-02-18 18:03 [Caml-list] Hashtbl.keys Oliver Bandel
2003-02-18 18:13 ` Hal Daume III
2003-02-20 9:43 ` Xavier Leroy
2003-02-20 16:54 ` [Caml-list] OCaml standard library improvement Stefano Zacchiroli
2003-02-21 13:47 ` Nicolas George
2003-02-22 14:09 ` Stefano Zacchiroli
2003-02-23 18:33 ` Alessandro Baretta
2003-02-21 13:53 ` fva
2003-02-21 16:18 ` Amit Dubey
2003-02-21 17:10 ` Brian Hurt
2003-02-21 17:23 ` Nicolas George
2003-02-21 18:01 ` Brian Hurt
2003-02-21 18:57 ` Chris Hecker
2003-02-21 19:28 ` Brian Hurt
2003-02-22 15:52 ` John Max Skaller
2003-02-21 17:32 ` Maxence Guesdon
2003-02-24 1:21 ` Nicolas Cannasse
2003-02-24 1:45 ` Chris Hecker
2003-02-24 2:46 ` Brian Hurt
2003-02-24 7:42 ` Stefano Zacchiroli
2003-02-24 10:18 ` fva
2003-02-24 11:03 ` Amit Dubey
2003-02-24 12:56 ` John Max Skaller
2003-02-24 13:06 ` Lauri Alanko
2003-02-24 13:08 ` Sven Luther
2003-02-24 14:05 ` [Caml-list] Library Discussion Followups Amit Dubey
2003-02-25 5:49 ` [Caml-list] OCaml standard library improvement John Max Skaller
2003-02-25 8:29 ` Xavier Leroy
2003-02-24 16:50 ` Benjamin C. Pierce
2003-02-24 17:28 ` brogoff
2003-02-25 18:08 ` Diego Olivier Fernandez Pons
2003-02-26 7:47 ` Jean-Christophe Filliatre [this message]
2003-02-25 10:47 ` [Caml-list] OCaml standard library _improvement_ NOT a new library! Stefano Zacchiroli
2003-02-25 21:43 ` Alessandro Baretta
2003-02-26 9:42 ` Stefano Zacchiroli
2003-02-21 6:40 ` [Caml-list] Hashtbl.keys Alex Cowie
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=15964.28930.80380.699147@lri.lri.fr \
--to=jean-christophe.filliatre@lri.fr \
--cc=Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr \
--cc=bcpierce@cis.upenn.edu \
--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