From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA01528; Sun, 18 Apr 2004 19:03:17 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA00729 for ; Sun, 18 Apr 2004 19:03:16 +0200 (MET DST) Received: from smtp1.adl2.internode.on.net (smtp1.adl2.internode.on.net [203.16.214.181]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3IH3DYM029985 for ; Sun, 18 Apr 2004 19:03:14 +0200 Received: from [192.168.1.200] (ppp117-65.lns1.syd2.internode.on.net [150.101.117.65]) by smtp1.adl2.internode.on.net (8.12.9/8.12.9) with ESMTP id i3IH37Zq037046; Mon, 19 Apr 2004 02:33:08 +0930 (CST) Subject: RE: [Caml-list] Re: How can I lend developers to the Caml team? From: skaller Reply-To: skaller@users.sourceforge.net To: "Brandon J. Van Every" Cc: caml-list In-Reply-To: References: Content-Type: text/plain Message-Id: <1082307787.21205.224.camel@pelican.wigram> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.2 (1.2.2-4) Date: 19 Apr 2004 03:03:07 +1000 Content-Transfer-Encoding: 7bit X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 sourceforge:01 2004:99 brandon:99 assertion:01 python:01 python:01 stackless:01 inflexible:01 vyper:01 closures:01 9660:01 glebe:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, 2004-04-18 at 15:31, Brandon J. Van Every wrote: > > If someone offers you a free car, don't turn them down > > because you wanted a free motorbike. What if your job is as a motorbike courier? > Aren't you forgetting that INRIA's goals aren't your goals? Even so, I think we should take Xaviers claim as a face value commercial assertion we should trust. More developers may slow down development of the facilities WE want. > > In fact it's very surprising that no third-party core > > developers have joined to date, after all these years. > > It's about time. Look at how many folks work on Python > > core for example. Python core design is largely stable. When it came to upgrading it to Stackless Python the process fell through. They got generators and a GC instead. > All overseen by benevolent Guido. > Whereas my personal experience with Guido is he's damn inflexible when > he's made up his mind about something. I don't have any experience with > him on the technology front, I do. Lets say the half the major changes in Python were due to me, and the only way I could bring about these changes was to build a proof of principle interpreter, Vyper, in Ocaml. Thankfully some of the other lead developers had enough functional programming experience to understand the advantages of something like lexical scoping and closures .. Similar comments might be made about C++: Bjarne is somewhat more savvy then Guido, but not enough to have put his weight behind basic functional stuff for C++, which would have been the only way to influence a technically ignorant committee in time. It's kind of nice to have lead developers who are both top class theoreticians and expert technologists as well. So in my opinion when Xavier says there are enough people working on the Ocaml core, we should probably take that at face value: we're all here because we *share* the INRIA teams basic goals. -- John Skaller, mailto:skaller@users.sf.net voice: 061-2-9660-0850, snail: PO BOX 401 Glebe NSW 2037 Australia Checkout the Felix programming language http://felix.sf.net ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners