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 WAA21172; Mon, 10 May 2004 22:03:55 +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 WAA20919 for ; Mon, 10 May 2004 22:03:54 +0200 (MET DST) Received: from plover.csun.edu (plover.csun.edu [130.166.1.24]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i4AK3rSH022312 for ; Mon, 10 May 2004 22:03:53 +0200 Received: from puffin.csun.edu (puffin.csun.edu [130.166.1.21]) by plover.csun.edu (MOS 3.4.6-GR) with ESMTP id BDJ69208; Mon, 10 May 2004 13:03:40 -0700 (PDT) Received: from [130.166.10.91] (s010n091.csun.edu [130.166.10.91]) by puffin.csun.edu (MOS 3.4.4-GR) with ESMTP id BSN31140 (AUTH eric); Mon, 10 May 2004 13:03:40 -0700 (PDT) In-Reply-To: <20040510191010.GA14068@excelhustler.com> References: <200405072211.12238.jdh30@cam.ac.uk> <20040508213716.GA31881@complete.org> <20040509115000.A9300@xmunkki.org> <20040510191010.GA14068@excelhustler.com> Mime-Version: 1.0 (Apple Message framework v613) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <20F8ECA6-A2BD-11D8-BE86-000A95A1E69A@csun.edu> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr, Jere Sanisalo From: Eric Stokes Subject: Re: [Caml-list] OCaml to C Date: Mon, 10 May 2004 13:03:39 -0700 To: John Goerzen X-Mailer: Apple Mail (2.613) X-Miltered: at concorde with ID 409FE029.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 2004:99 2004:99 ocamlopt:01 runtimes:01 coders:01 usefulness:01 ocamlopt:01 c-style:01 bug:01 faq:01 faq:01 beginner's:01 beginners:01 bin:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On May 10, 2004, at 12:10 PM, John Goerzen wrote: > On Sun, May 09, 2004 at 11:50:00AM +0300, Jere Sanisalo wrote: >> On Sat, May 08, 2004 at 04:37:16PM -0500, John Goerzen wrote: >>> However, if you are going to do that, why not just compile the code >>> to >>> native code with ocamlopt and not worry about the C piece? >> >> Because ocaml compilers/runtimes do not exist for every platform (say, >> consoles). And because compiling to C code could allow you to write >> independent libraries for others to use. It would be nice to release >> libraries that do a ton of stuff, usable for C/C++ coders, that were >> written >> easily with ocaml. And also some managers seem to trust projects that >> are >> "pure C/C++" much more than projects that use a variable amount of >> languages. > > IMHO, a better approach than generating C output of questionable > usefulness would be to extend ocamlopt to: > > 1. Support those platforms it doesn't yet; > 2. Support output to .o/.a/.so/.dll files to directly generate I would personally very much like to see ocamlopt able to generate shared libraries, both for use directly with Ocaml (eg .cmxso), and for linking with C programs. > C-style shared libraries. > > I still don't see the utility of the massive undertaking that would be > necessary to actually generate full C code from OCaml. I doubt that > anyone would be able to maintain that C code directly in any meaningful > way, which pretty much negates any manager-related benefit. > > -- John > > ------------------- > 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 > ------------------- 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