From: Markus Mottl <mottl@miss.wu-wien.ac.at>
To: fva@tsc.uc3m.es (Francisco Valverde Albacete)
Cc: caml-list@inria.fr (OCAML)
Subject: Re: additions to standard library?
Date: Fri, 10 Mar 2000 21:33:35 +0100 (MET) [thread overview]
Message-ID: <200003102033.VAA27051@miss.wu-wien.ac.at> (raw)
In-Reply-To: <38C8C895.A0B778FC@tsc.uc3m.es> from "Francisco Valverde Albacete" at Mar 10, 2000 11:04:05 AM
> Yes. Definitely... Maybe there is a point in keeping the standard library
> uncluttered and supply a parallell library based on the standard one but
> giving more functionality... This way, the implementor team can concentrate
> efforts in the compilers and environment and the concerned users can keep a
> "utility" library up-to-date... I'd be more than willing to contribute code &
> work to such an effort.
I also think that it is a sensible strategy of INRIA to keep the interfaces
of their libraries uncluttered. An "experimental" repository for libraries,
where people can work out possible additions cooperatively, would be a very
appealing project. I would also be prepared to volunteer in such an effort.
Xavier once posted the following mail:
http://pauillac.inria.fr/caml/caml-list/1087.html
Is it still possible to get CVS-accounts at INRIA? It would also be
possible to use "http://sourceforge.net", but I have no experience in
setting up projects there nor whether there might be any objections to
doing such a project on a host outside the control of INRIA - maybe John
Skaller, who uses it for his Python-compiler, can tell us more about it?
Regards,
Markus Mottl
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
next prev parent reply other threads:[~2000-03-13 9:23 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-07 15:24 Markus Mottl
2000-03-08 19:03 ` Jean-Christophe Filliatre
2000-03-08 22:29 ` Markus Mottl
2000-03-10 10:51 ` Christian RINDERKNECHT
2000-03-09 13:18 ` Thorsten Ohl
2000-03-10 10:04 ` Francisco Valverde Albacete
2000-03-10 20:33 ` Markus Mottl [this message]
2000-03-14 23:15 ` Max Skaller
2000-03-11 18:49 ` Brian Rogoff
2000-03-12 1:54 ` Jerome Vouillon
[not found] ` <200003120239.DAA18581@miss.wu-wien.ac.at>
2000-03-14 17:53 ` Pierre Weis
2000-03-10 17:55 Manuel Fahndrich
2000-03-14 17:24 Don Syme
2000-03-21 21:08 ` John Max Skaller
2000-03-21 21:43 Don Syme
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=200003102033.VAA27051@miss.wu-wien.ac.at \
--to=mottl@miss.wu-wien.ac.at \
--cc=caml-list@inria.fr \
--cc=fva@tsc.uc3m.es \
/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