From: "blue storm" <bluestorm.dylc@gmail.com>
To: "Dario Teixeira" <darioteixeira@yahoo.com>
Cc: "Hezekiah M. Carty" <hcarty@atmos.umd.edu>,
"Jon Harrop" <jon@ffconsultancy.com>,
caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Alterlib? (was "Re: The OCaml Community")
Date: Mon, 28 Jan 2008 22:48:07 +0100 [thread overview]
Message-ID: <527cf6bc0801281348j379b780v6b5d8a515f5921ba@mail.gmail.com> (raw)
In-Reply-To: <354839.73879.qm@web54602.mail.re2.yahoo.com>
a) doesn't seem to be an option :
the INRIA won't include in stdlib things they don't want to maintain,
and they don't want to maintain anything more.
I don't think point c) is a really good idea : most people are quite
comfortable with Stdlib now. Do you have *really* good reasons to
create an interface-incompatible library ?
I don't think so : lots of people have expressed concern for the lack
of something in the Stdlib, but i haven't seen anybody actually
complaining about one of the provided functions (except for the
tail-rec thing, wich isn't an incompatible change).
If all the change you want to make are compatible (either addition of
plain new functions/modules, or interface-compatible changes of
existing ones), then i think the "overriding" model of Extlib is fine.
What does -nopervasives give us in that case ?
On 1/28/08, Dario Teixeira <darioteixeira@yahoo.com> wrote:
> > My understanding is that the benefits would come from having a richer,
> > community developed "official" OCaml distribution. So the stdlib
> > would stay in place, but extra items would be included as well. For
> > example, package ExtLib and some commonly useful Camlp4 extensions
> > along with the distribution .tar.gz/.exe/.dmg. If I understood the
> > meeting transcription in IRC, the official OCaml folks at INRIA would
> > bless this as the proper way to get and install OCaml once the
> > community structure is in place.
>
> Hi,
>
> For compatibility reasons, Stdlib must be part of any standard Ocaml
> distribution for the foreseeable future. However, this does not
> necessarily mean that the only community solution must be to provide
> an ExtLib that complements Stdlib. If it is felt that Stdlib+Extlib
> does not fit well together (different conventions, etc), there is
> always the option of creating "from scratch" a self-contained Alterlib
> that incorporates everything you would wish from a standard library.
> (note that I've written "from scratch" between commas because a lot
> of code from Extlib and other open-source libraries could be reused).
>
> Users who have heavily invested in Stdlib could continue using it;
> others, however, could very well choose to ditch it altogether and
> make sole use of Alterlib (with "-nopervasives", of course).
>
> In short, here are the options:
>
> a) modify Stdlib to suit the community's needs (complicated due
> to copyright issues and because INRIA does not have the manpower
> to effectively maintain all the additions);
>
> b) keep Stdlib and put all the community's needs into Extlib
> (in a sense this the current situation; has the advantage of
> being straightforward; has the disadvantage that the APIs
> might not always go well together);
>
> c) keep stdlib for compatibility reasons (INRIA's tarball must
> always include it), but provide a community built Alterlib
> that reimplements what's good about Stdlib together with
> stuff currently on Extlib (requires more work, but may
> result in a more modern, more consistent library)
>
> Do I read the situation correctly?
>
> Kind regards,
> Dario Teixeira
>
>
>
> ___________________________________________________________
> Support the World Aids Awareness campaign this month with Yahoo! For Good
> http://uk.promotions.yahoo.com/forgood/
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
next prev parent reply other threads:[~2008-01-28 21:48 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-27 13:09 The OCaml Community (aka back from the Developer Days) David Teller
2008-01-28 0:38 ` [Caml-list] " Oliver Bandel
2008-01-28 11:27 ` David Teller
2008-01-28 13:42 ` Sylvain Le Gall
2008-01-28 16:38 ` [Caml-list] " Andrej Bauer
2008-01-29 0:26 ` Markus Mottl
2008-01-29 13:45 ` Gerd Stolpmann
2008-01-29 20:07 ` Markus Mottl
2008-01-30 13:04 ` Kuba Ober
2008-01-30 13:26 ` Jon Harrop
2008-01-30 14:17 ` Kuba Ober
2008-01-30 15:14 ` Jon Harrop
2008-01-30 16:26 ` Kuba Ober
2008-01-30 17:41 ` [Caml-list] Re: The OCaml Community (aka back fromthe " David Allsopp
2008-01-30 21:32 ` Kuba Ober
2008-01-30 13:10 ` [Caml-list] Re: The OCaml Community (aka back from the " Vincent Hanquez
2008-01-30 9:22 ` Sylvain Le Gall
2008-01-28 17:25 ` [Caml-list] " Peng Zang
2008-01-28 13:35 ` Sylvain Le Gall
2008-01-28 15:25 ` [Caml-list] " Jon Harrop
2008-01-28 15:43 ` Sylvain Le Gall
2008-01-28 19:49 ` [Caml-list] " Jon Harrop
2008-01-28 20:16 ` Hezekiah M. Carty
2008-01-28 20:35 ` Jon Harrop
2008-01-28 20:48 ` Hezekiah M. Carty
[not found] ` <6f9f8f4a0801281235s136f53b4qae8ec2c928f931c@mail.gmail.com>
2008-01-28 20:46 ` Hezekiah M. Carty
2008-01-28 21:29 ` Alterlib? (was "Re: The OCaml Community") Dario Teixeira
2008-01-28 21:48 ` blue storm [this message]
2008-01-28 13:52 ` [Caml-list] The OCaml Community (aka back from the Developer Days) Romain Beauxis
2008-01-28 14:42 ` Sylvain Le Gall
2008-01-28 15:39 ` [Caml-list] " Romain Beauxis
2008-01-28 15:49 ` Sylvain Le Gall
2008-01-28 15:56 ` [Caml-list] " Romain Beauxis
2008-01-29 15:23 ` Stefano Zacchiroli
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=527cf6bc0801281348j379b780v6b5d8a515f5921ba@mail.gmail.com \
--to=bluestorm.dylc@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=darioteixeira@yahoo.com \
--cc=hcarty@atmos.umd.edu \
--cc=jon@ffconsultancy.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