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 QAA13040; Mon, 11 Jun 2001 16:05:21 +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 QAA12783 for ; Mon, 11 Jun 2001 16:05:20 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5BE5ED05067; Mon, 11 Jun 2001 16:05:14 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA12990; Mon, 11 Jun 2001 16:05:14 +0200 (MET DST) From: Pierre Weis Message-Id: <200106111405.QAA12990@pauillac.inria.fr> Subject: Re: [Caml-list] ocaml complexity In-Reply-To: <001c01c0f068$ce193f40$a00bfea9@baby> from Jonathan Coupe at "Jun 8, 101 11:17:26 pm" To: jonathan@meanwhile.freeserve.co.uk (Jonathan Coupe) Date: Mon, 11 Jun 2001 16:05:13 +0200 (MET DST) Cc: caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [...] > Is Ocaml's acceptability at Pixar independent of its use in the larger > marketplace? If so, I'm surprised. (I believed that the opposite was the > case for Lisp, from your comments on cll.) The more people who use a > language, the more useful it is through the availability of tools, libraries > and trained programmers. And yes, the more politically acceptable it is to > decision makers. Which is fair enough - what if INRIA does stop supporting > Caml? INRIA is supporting Caml since early 1984 (following its support to the development of an ML compiler from... the beginning!). Objective Caml is one of a very few sucessful software provided by INRIA. Hence it is politically important for INRIA (read it as ``it is an important argument for INRIA to get funding), hence INRIA is not likely to abandon its support for Caml (also remember that more and more INRIA's software is written in Caml!). Another argument quoted from industry: ``Caml is free software, the source of the compiler is available, well written, and it has almost no bugs: it would not be a big deal to maintain the Caml compiler by ourselves, if INRIA were to fail at maintaining it''. > There's also the larger question of our professional responsibility to > society. Software quality is a key (though usual buried) problem for the > modern world. Tools that can improve it are good. Ocaml has significant > potential to do that. I'd hate to see it under used to the extent that CLOS > and Smalltalk are. > > Jonathan On this last point, I agree with you 100%, since it was (and still is) one of our main goals when designing Caml: try to improve the quality of software developments that can be done using Caml. Best regards, Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr