From: Julian Assange <proff@iq.org>
To: William Chesters <williamc@dai.ed.ac.uk>
Cc: caml-list@inria.fr
Cc: proff@iq.org
Subject: standard library request: purely functional data structures
Date: 15 Apr 2000 21:28:14 +1000 [thread overview]
Message-ID: <wx7ldz61td.fsf_-_@suburbia.net> (raw)
In-Reply-To: William Chesters's message of "Thu, 13 Apr 2000 17:00:23 +0100"
Having recently read Chris Okasaki's book by the same name, and noticed
that there is 3rd party ocaml code for the book, I'd like to request
that a version of this code be distributed with the standard library
(or at least the standard distribution), as:
1) The library is well documented (by the book)
2) The routines are fast and of varying flexibility
3) The complixity and other behavior is well analysed
4) Chris's book contains haskell and sml97 code. A
similar library in ocaml makes it much easier to
move to and from ocaml.
Cheers,
Julian.
next reply other threads:[~2000-04-15 21:17 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-15 11:28 Julian Assange [this message]
2000-04-17 15:18 ` Markus Mottl
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=wx7ldz61td.fsf_-_@suburbia.net \
--to=proff@iq.org \
--cc=caml-list@inria.fr \
--cc=williamc@dai.ed.ac.uk \
/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