From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2V9cs3F003671 for ; Thu, 31 Mar 2011 11:38:54 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwCAOhKlE1KfVI0kGdsb2JhbACERqEBCBQBAQEBCQkNBxQEIYh5mnCKGjyCI4RjL4hcAQEDBYRvdwSNEYkROg X-IronPort-AV: E=Sophos;i="4.63,274,1299452400"; d="scan'208";a="79532637" Received: from mail-ww0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Mar 2011 11:38:48 +0200 Received: by wwe15 with SMTP id 15so3155556wwe.9 for ; Thu, 31 Mar 2011 02:38:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=eJ+RMHofrKLuXh76OLkvXF6MwmQmQbYXLuv0NpNwhGI=; b=FRudf3Jux/6wnLBwYyDr2+J8qhaKgGOLQfAx06eURcYHfmrvFPsRoOrSaCQGwtZEVa NVAhvQHP0hcZk+AjPxwOEMtr91xxIJosDCkok9vBOLsUBhxOXEiiiwdIyVajpATPy470 fEx+xqxtYDcvjMV/M95P4JXJRU2GZ8eatuZhc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=ObFa/ON+PHa3hkhBypOgMGxM6XAVNmtvIsCgjg0m9ys/FD/OE3cRedUFBj8SkN7M03 Nyh3xXPH/nErT3l7BAhE1vXYdmY0fprvatSfKeOiaaNKS9ahlcw14cgdjxpUIhTcnmbF lqgxrqy50Bthd3st5ze9cPGCyrm980LzX+dsk= Received: by 10.216.239.73 with SMTP id b51mr1894617wer.44.1301564325257; Thu, 31 Mar 2011 02:38:45 -0700 (PDT) MIME-Version: 1.0 Received: by 10.216.74.5 with HTTP; Thu, 31 Mar 2011 02:38:25 -0700 (PDT) In-Reply-To: <6FE49D01-1E57-4AB5-A9A7-5BEEFFDC59C9@philou.ch> References: <4D9328A0.3020504@wp.pl> <25BB4625-7DB0-47E2-A378-5F121EB41EB8@gmail.com> <6FE49D01-1E57-4AB5-A9A7-5BEEFFDC59C9@philou.ch> From: Pierre-Alexandre Voye Date: Thu, 31 Mar 2011 11:38:25 +0200 Message-ID: To: Philippe Strauss Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=e0cb4e43cef742693d049fc40fd0 Subject: Re: [Caml-list] Re: Arithmetic operations --e0cb4e43cef742693d049fc40fd0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2011/3/31 Philippe Strauss > > Le 31 mars 2011 =C3=A0 10:19, Pierre-Alexandre Voye a =C3=A9crit : > > It's funny, because I'm studying why language succeed or not, for my M1 > dissertation (M1 Management), and it's one of the big factor, among other= s, > of sucess. > Ocaml is highly expressive, so you could turn around, but it's a big > problem. > > I think it would be important and interesting to create a little > organization which discuss bout a standard lib and would begin making a > synthesis of all these "standard" library. > > > Personally I'm not that unhappy with the standard lib shipped by INRIA. > > maybe batteries and janestreet core (to name nowadays alternatives) have > too big ambitions: extension library aside INRIA's standard lib would have > more users than a complete alternative. > > the way you can get haskell packaged easily, on the contrary, as some big > appeal. > > > I think INRIA, and in particular the Xavier Leroy's team, make what they can. Their work isn't to maintain OCaml but mainly to do research. So, I think INRIA could continue to work on a good compiler, and company which make business whith ocaml could discuss between them to agreed on standards, via Ocamlcore for instance, with the agreement of Xavier Leroy's team of course. --=20 --------------------- Isaac Project - http://www.lisaac.org/ --e0cb4e43cef742693d049fc40fd0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

2011/3/31 Philippe Strauss <philou@philou.ch>

Le 31 mars 2011 =C3=A0 10= :19, Pierre-Alexandre Voye a =C3=A9crit :

It's funny, because I'm studying why language s= ucceed or not, for my M1 dissertation (M1 Management), and it's one of = the big factor, among others, of sucess.
Ocaml is highly expressive, so you could turn around, but it's a big pr= oblem.

I think it would be important and interesting to create a little organi= zation which discuss bout a standard lib and would begin making a synthesis= of all these "standard" library.

Personally I'm not that unhappy with the standard lib shippe= d by INRIA.

maybe batteries and janestreet core (t= o name nowadays alternatives) have too big ambitions: extension library asi= de INRIA's standard lib would have more users than a complete alternati= ve.

the way you can get haskell packaged easily, on the con= trary, as some big appeal.


I think INRIA, and in particular the Xavier Leroy's = team, make what they can. Their work isn't to maintain OCaml but mainly= to do research.
So, I think INRIA could continue to work on a good compiler, and company wh= ich make business whith ocaml could discuss between them to agreed on stand= ards, via Ocamlcore for instance, with the agreement of Xavier Leroy's = team of course.


--
---------------------
Isaac Project - http://www.lisaac.org/
--e0cb4e43cef742693d049fc40fd0--