From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB6FAQNM005761 for ; Tue, 6 Dec 2011 16:10:26 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkUCAOEv3k7U436rkWdsb2JhbABEFpoWkDAiAQEBAQkLCwcUAyKBcgEBBAFuCwULBQYYDSEhJBIGEwkIAQICCIdpAga1S4Nyh0AEjHITFQGSMQKHOQ X-IronPort-AV: E=Sophos;i="4.71,306,1320620400"; d="scan'208";a="122255141" Received: from moutng.kundenserver.de ([212.227.126.171]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Dec 2011 16:10:21 +0100 Received: from office1.lan.sumadev.de (dslb-188-097-001-048.pools.arcor-ip.net [188.97.1.48]) by mrelayeu.kundenserver.de (node=mrbap4) with ESMTP (Nemesis) id 0Ls9Wx-1QmYsN1JF9-013xPY; Tue, 06 Dec 2011 16:10:20 +0100 Received: from gps.dynxs.de (localhost [127.0.0.1]) by office1.lan.sumadev.de (Postfix) with ESMTP id 397B0C00C7; Tue, 6 Dec 2011 16:10:19 +0100 (CET) Received: from 84.233.128.147 (SquirrelMail authenticated user gerd) by gps.dynxs.de with HTTP; Tue, 6 Dec 2011 16:10:19 +0100 Message-ID: <7b8a9e9bba71a1be49e46deb008bcb6e.squirrel@gps.dynxs.de> In-Reply-To: References: <1B0D83BD-1902-4F7C-B3FB-B759122D6AB9@googlemail.com> Date: Tue, 6 Dec 2011 16:10:19 +0100 From: "Gerd Stolpmann" To: "Alexandre Pilkiewicz" Cc: "ivan chollet" , "Benedikt Meurer" , caml-list@inria.fr User-Agent: SquirrelMail/1.4.21 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 X-Priority: 3 (Normal) Importance: Normal X-Provags-ID: V02:K0:X2FXp9CeEWJMIi3mz8CS0Stwu3QFk2TtL/JmJv2QW33 ufDqdUQH3vZrsldeXM2tB1m0kTo4fyXiNGkFgnaP95/vmNX01r y73819SMZxPkVuyiA8z6/RkxjuWxV3X+LrBeIr49kfzIDtGdC6 2uzydzQpL6Ml8zOVzhtQphX7GYzc25iV+Sz8F09w0qiOZn6h2L Psjbo1lNfQYxq0yp1o/3uompEW/2xwHA6sX2t1yFVPC65v94e1 YwC2XtbTX6eClNsr043k8qlg8VNjVpmr3F548JOM3/ytoR5dsZ 5Sb24ZQUl9+QejnZH10dDUIKkc8X97j+3hq7dCntHyl9eUn1PR uEMhL1Uu8ZMbFT1VnPqDkyKVKMqQaaTcDxITGzJBJs1G8tKYJp BPARdhJOUUheGnjhCQpKcmDjd2TwY3W0Eo= Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB6FAQNM005761 Subject: Re: [Caml-list] OCaml maintenance status / community fork > Hi all, > > I will not jump in the "how to save OCaml from dying because nothing > moves" discussion. But just in the "nothing moves" discussion. > > On Tue, Dec 6, 2011 at 2:52 PM, ivan chollet > wrote: >> The current status of OCaml is more than stable enough to serve its >> goals, >> which are to teach computer science to french undergrads and provide a >> playground for computer languages researchers. > > First, french undergrads sadly often still use camllight... Which is > not the case for example of Harvard undergrad > (http://www.seas.harvard.edu/courses/cs51/lectures.html) and some > UPenn one (http://www.seas.upenn.edu/~cis341/). But you are right that > I can't find any well known university out of France using OCaml to > teach computer science... Well, if you ask whether _any_ FP language is taught, the results won't be much better. I'm currently doing consulting for a web company (in Germany) - around 60 developers, many fresh from the University. There are only three guys knowing FP languages at all - one Scala, one Erlang, and one R. It's a complete failure of the academic education. IMHO it does not matter which FP language you are taught in. The point is that the students understand the ideas, and that they recognize them as relevant. These web developers here in the company have no clue that they actually developing a big continuation-style FP program. Gerd > > And for the "computer languages researchers" part, I'll refer you to > http://caml.inria.fr/consortium/ > >> A fork could possibly get traction from the community, but you would >> have to >> provide interesting features that the real OCaml does not provide. Bug >> fixes >> won't be enough. > > So now, here is my real problem. What are those famous so wanted > feature that this fork will provide? And what makes you (a plural you) > think that ocaml is such a slowly moving and evolving language? > According to the caml web site, in the past two years, we've seen > native dynlink, polymorphic recursion and first class module making > there way into the language. According to what can be found on the > trunk of the ocaml svn, the next release will have GADTs. And the > compiler have also been modified to incorporate things like a nice > multiprecision library (http://forge.ocamlcore.org/projects/zarith/) > and some backends have been added. > > Except maybe haskell and Scala, can you really name me a programming > language that in fact evolves that quickly, and basically without ever > breaking backward compatibility? I really don't think that any of > python, perl, java, C, C++ would really win. But I might be wrong. > > So before saying we need to fork the OCaml compiler to add "much > needed patches", it would be nice to minimally agree on witch patches > are so much needed. Because if "the community" can't agree on this, I > doubt the future of this potential fork will be so bright. > > My 2c. > > -- > 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 > > > -- Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de *** Searching for new projects! Need consulting for system *** programming in Ocaml? Gerd Stolpmann can help you.