From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA14508 for caml-redistribution; Thu, 22 Apr 1999 18:55:44 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA17398 for ; Wed, 21 Apr 1999 23:13:00 +0200 (MET DST) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id XAA04530; Wed, 21 Apr 1999 23:12:58 +0200 (MET DST) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id OAA01994; Wed, 21 Apr 1999 14:12:57 -0700 (PDT) Date: Wed, 21 Apr 1999 14:12:57 -0700 (PDT) From: Brian Rogoff To: Xavier Leroy cc: Brian Rogoff , William Chesters , OCAML Subject: Re: licence issues In-Reply-To: <19990421220809.31720@pauillac.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On Wed, 21 Apr 1999, Xavier Leroy wrote: > > Since we are inventing hypothetical scenarios, try this one: INRIA stops > > funding the Caml project, for whatever reason. OCaml users are left > > "orphaned", as it is not clear who takes over, and begin the switch to > > SML and Haskell, or, much worse, C++, Perl, and Visual basic ;-). As a > > former Amiga and NextStep user, fear of being orphaned is a concern. > > I was expecting this scenario to come up at some point in the > discussion. In the (presently unlikely) event that INRIA would pull > the plug out of the Caml project, we would of course do everything > possible so that the sources are released under a very liberal licence > so that others can continue the development if they wish. That's enough to satisfy me, though to be fair I was not bothered by the current license. > > I think the trick is to find a way to satisfy the valid concerns of the > > OCaml developers and the trepidations of some users. > > Agreed. Some participants in this discussion have made interesting > contributions in this direction, and I thank them. > > > Perhaps if there were > > another version of OCaml (like the Bigloo based Caml Light) under the GPL > > or a similar license these concerns would be lessened. > > I'm not sure I follow you here. Are you suggesting some form of code > split? How would this solve the issue? Yes. This would solve the issue (and create many nastier new ones) by letting those who have problems with the INRIA licensing use the GPL/BSD/whatever version. Also, it would shoot down the criticism of OCaml that it is a language defined by its current implementation. That said, I think its a bad idea, as it takes too much time from the OCaml team and community to have multiple variants at this stage of the language development. Once the language design is "done", it may not be such a bad idea, but from what I gather OCaml is still a research project and not a frozen standard. -- Brian PS: I suggest that when the design is done, the new language be named ML-2000, for the obvious humor value ;-)