caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Ashish Agarwal <agarwal1975@gmail.com>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
Cc: Jonathan Protzenko <jonathan.protzenko@gmail.com>, caml-list@inria.fr
Subject: Re: [Caml-list] Some comments on recent discussions
Date: Tue, 6 Dec 2011 11:56:23 -0500	[thread overview]
Message-ID: <CAMu2m2+UhNO-_NzxRkAQ4yZN=1oFwAdajboWGb-rVH5zfNjrGA@mail.gmail.com> (raw)
In-Reply-To: <C5C9FEAD-60F3-4841-A542-5858011C2D0C@googlemail.com>

[-- Attachment #1: Type: text/plain, Size: 3194 bytes --]

I agree that package management, a *single* standard library, and a good
web presence are the most useful things we can do. We desperately need
oasis, oasis-db, and eventually an OCaml Platform to succeed. The standard
library contenders are Batteries and Jane St Core. Ideally these could be
merged, but that will take a lot of effort from both teams. On the web
side, we did start a project to build a new website for OCaml, announced at
the last User Meeting. We are continuing to work on it, although admittedly
progress has been slow.

Nothing wrong with compiler improvements. We don't have to pick between
these options. Let's just work on all of them.  :)


On Tue, Dec 6, 2011 at 11:03 AM, Benedikt Meurer <
benedikt.meurer@googlemail.com> wrote:

>
> On Dec 6, 2011, at 16:24 , Jonathan Protzenko wrote:
>
> > [...]
> >
> > If it's about improving the general situation with OCaml and its
> community (the title of this thread contains the word "community"), then I
> believe hacking on the compiler is not the most effective way to achieve
> that goal. We're hackers. We like to hack on things. And we often fail to
> ask ourselves: is it really worth implementing? Submitting patches is easy.
> Submitting quality patches that do solve a real problem is harder. The ARM
> backend does need a cleanup, and the patch does solve a stringent issue.
> That may not be the case for all patches.
>
> You may be right, but I think you are also missing my point to some degree
> here. Improving the OCaml community as a whole is a worthwhile goal and
> more than welcome, but that is a far away, probably very difficult to
> achieve goal. What I am talking about and what I am trying to address is a
> rather practical problem: How to avoid pissing off possible contributors to
> the OCaml core (these are most likely different people than the ones that
> would help with web site, spreading the word, community stuff) and how to
> improve the maintenance status of the OCaml core? Or maybe: How to set
> OCaml free?
>
> > There is indeed a problem w.r.t external contributions. I agree that the
> INRIA team could make it clearer what its stance on external contributions
> is. Maybe one solution would be to have a INRIA-endorsed ocaml-next on
> github that everyone can fork, where we would merge really outstanding
> features, before submitting them to INRIA, as you described. I don't think
> it is such a good idea creating a real fork. Maybe some sort of integration
> platform on GitHub would be the right solution to the "patch review"
> problem.
>
> As long as that would be INRIA-controlled, I fear that it would be the
> same story with different infrastructure (you'll have pull requests that
> don't get attention rather than bug reports that don't get attention).
>
> > I'm not even sure what kind of patches you wish to see integrated. Can
> you clarify that?
>
> Mantis is down currently.
>
> > Kind regards,
> > jonathan
>
> Benedikt
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

[-- Attachment #2: Type: text/html, Size: 4005 bytes --]

  reply	other threads:[~2011-12-06 16:56 UTC|newest]

Thread overview: 80+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-06 15:24 Jonathan Protzenko
2011-12-06 15:31 ` Joel Reymont
2011-12-06 23:03   ` Martin Jambon
2011-12-06 16:01 ` Mihamina Rakotomandimby
2011-12-06 16:03 ` Benedikt Meurer
2011-12-06 16:56   ` Ashish Agarwal [this message]
2011-12-06 17:12 ` Gerd Stolpmann
2011-12-06 17:33 ` Alex Rubinsteyn
2011-12-06 17:53 ` Alain Frisch
2011-12-07  0:18   ` Paolo Donadeo
2011-12-07  1:00     ` oliver
2011-12-07  6:33       ` Mihamina Rakotomandimby
2011-12-07  1:48     ` Ashish Agarwal
2011-12-07  9:53       ` Goswin von Brederlow
2011-12-07 10:33     ` Pierre-Alexandre Voye
2011-12-07 11:18       ` Gabriel Scherer
2011-12-07 13:15         ` David MENTRE
2011-12-07 13:48           ` Alan Schmitt
2011-12-07 14:56           ` Ashish Agarwal
2011-12-07 15:52         ` oliver
2011-12-10 14:58         ` Xavier Leroy
2011-12-08  7:59       ` rixed
2011-12-08 10:37         ` oliver
2011-12-08 13:15         ` [Caml-list] Wanted book (Re: Some comments on recent discussions) Mihamina Rakotomandimby
2011-12-09 21:22           ` oliver
2011-12-09  7:13   ` [Caml-list] Some comments on recent discussions Martin Jambon
2011-12-10 20:32 ` Andrei Formiga
2011-12-10 21:01   ` Edgar Friendly
2011-12-10 21:12     ` rixed
2011-12-10 21:24       ` Edgar Friendly
2011-12-10 21:49         ` rixed
2011-12-10 22:45           ` Edgar Friendly
2011-12-10 23:58       ` Hans Ole Rafaelsen
2011-12-11 10:25       ` Gerd Stolpmann
2011-12-11 10:06   ` Gerd Stolpmann
2011-12-13 17:41   ` oliver
2011-12-13  5:54 ` Martin DeMello
2011-12-13  7:15   ` Gerd Stolpmann
2011-12-13  8:21     ` Martin DeMello
2011-12-13  8:51       ` Alain Frisch
2011-12-13  9:15         ` Gaius Hammond
2011-12-13 14:08           ` Gerd Stolpmann
2011-12-14  5:28           ` Alain Frisch
2011-12-13  9:51         ` Martin DeMello
2011-12-13  9:53         ` Adrien
2011-12-13 20:52           ` Jon Harrop
2011-12-14  6:03           ` Alain Frisch
2011-12-14  9:34             ` Jonathan Protzenko
2011-12-14 10:24               ` Alain Frisch
2011-12-14 13:37                 ` Adrien
2011-12-14 14:24                   ` Gabriel Scherer
2011-12-14 15:27                   ` Gerd Stolpmann
2011-12-14 15:46                     ` Gaius Hammond
2011-12-14 15:49                     ` Adrien
2011-12-14 16:42                       ` Fabrice Le Fessant
2011-12-14 17:04                       ` Alain Frisch
2011-12-15 21:38                         ` Adrien
2011-12-14 16:55                   ` Alain Frisch
2011-12-14 21:35                     ` Benedikt Meurer
2011-12-15 11:14                     ` Adrien
2011-12-14 12:52             ` Gerd Stolpmann
2011-12-14 13:25               ` Jonathan Protzenko
2011-12-14 17:27               ` Aleksey Nogin
2011-12-14 17:36                 ` Gerd Stolpmann
2011-12-14 19:41                   ` David Allsopp
2011-12-15 10:29                     ` Adrien
2011-12-15 17:41                       ` Martin DeMello
2011-12-15 20:47                         ` Adrien
2011-12-15 21:20                           ` Martin DeMello
2011-12-15 11:25                     ` Gerd Stolpmann
2011-12-16 12:39                   ` Alain Frisch
2011-12-16 12:44                     ` Jonathan Protzenko
2011-12-16 13:14                     ` Gerd Stolpmann
2011-12-16 14:11                       ` Alain Frisch
2011-12-16 14:50                         ` Gerd Stolpmann
2011-12-16 13:58                     ` Stéphane Glondu
2011-12-16 17:29                     ` Edgar Friendly
2011-12-14 18:41                 ` Dmitry Grebeniuk
2011-12-14 23:54               ` Martin DeMello
2011-12-15 10:03                 ` Adrien

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='CAMu2m2+UhNO-_NzxRkAQ4yZN=1oFwAdajboWGb-rVH5zfNjrGA@mail.gmail.com' \
    --to=agarwal1975@gmail.com \
    --cc=benedikt.meurer@googlemail.com \
    --cc=caml-list@inria.fr \
    --cc=jonathan.protzenko@gmail.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;
as well as URLs for NNTP newsgroup(s).