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 IAA11502; Sat, 17 Feb 2001 08:18:49 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA11602 for caml-list@pauillac.inria.fr; Sat, 17 Feb 2001 08:18:48 +0100 (MET) 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 RAA22152 for ; Fri, 16 Feb 2001 17:58:48 +0100 (MET) Received: from localhost.localdomain (jimbo179.zip.com.au [202.7.88.179]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f1GGwhX03188; Fri, 16 Feb 2001 17:58:44 +0100 (MET) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id DAA29334; Sat, 17 Feb 2001 03:54:48 +1100 Message-ID: <3A8D5B58.436721C0@ozemail.com.au> Date: Sat, 17 Feb 2001 03:54:48 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: fabrice.le_fessant@inria.fr CC: caml-list@inria.fr Subject: Re: [Caml-list] RE: OCaml on CLR/JVM? References: <14987.41596.904886.588474@cremant.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Fabrice Le Fessant wrote: > There is an HUGE difference between open source and standards. The > first one can always freely evolve, while being used freely by many > users. Standardized ones cannot evolve anymore, or need the company > agreement to be modified. Compatible software will always have to > follow the company new developments, and thus will never be truely > achieved. This is one of the -many- drawbacks of Java. I do not agree, although you seem to be using a wrong example. Standardised systems can and do evolve. The evolution consists of experiment, discussion and consensus formation, followed by implementation by many parties, followed by error reporting (Note I mean errors in the specification: the 'standard') But what you describe as drawbacks of Java (with which I might agree), but Java is _not_ a Standardised language, at least in the sense of being approved by a standards processes within a recognized standards body (such as ISO, IEC, ...). > The problem is that .NET is a commercial product. So, the question is: > should we spend our time porting Ocaml to all new commercial VMs (not > only MS ones, of course) ? Of course not. But .NET is being sponsored by a major player and we can expect a significant number potential of Ocaml users. Please do not forget that programming is principally a commercial activity, and that those of us who indulge -- even part-time -- in research activities, is relatively small (and lucky :-) > One time again, commercial issues have dominated scientific > reasons. Of course: science requires funding: it too is a commercial activity, it must compete, and it doesn't always win the competition. :-) > CLR has been released too early, and will be standardized too > early, while big problems are still remaining: no polymorphism, > object-oriented approach in the bytecode, ... This should have been > discussed first, not in the next version ! I agree. > Of course, it won't change my mind. I will always think that public > research and commercial research have different goals... Of course they do, because they differ in their funding models. Generally, public institutions can be more long sighted than commercial ones, whereas commercial ones have more dynamic growth patterns and so must be more short-sighted. However, one should be rightly annoyed at larger corporations, since they rival public institutions in size and stability, but seem still to lack the capacity for long term research. And perhaps this is partly the fault of the public institutions for remaining too aloof from the commerical world. I believe this creates a tension in which the commercial players put pressure on public institutions (like ISO, academia), for a more 'commerical' approach. And perhaps one could ask how to best direct pressure on those companies, to take a more long sighted view in return, and work with the public intitutions better in the area of research. The only way I know how to do this is for those who see commerical merit in research to work in and for the commercial entities, since they are organisations of people too. :-) To put this argument another way: we will do better to convince the commercial programmers of the world that the Ocaml way is better if it is actually available on the platform they use to implement commercial solutions. -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr