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 IAA15743; Sun, 17 Nov 2002 08:41:15 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 IAA15739 for ; Sun, 17 Nov 2002 08:41:13 +0100 (MET) Received: from mel-rto2.wanadoo.fr (smtp-out-2.wanadoo.fr [193.252.19.254]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gAH7fD108095 for ; Sun, 17 Nov 2002 08:41:13 +0100 (MET) Received: from mel-rta9.wanadoo.fr (193.252.19.69) by mel-rto2.wanadoo.fr (6.5.007) id 3DA24CF60178AB7A; Sun, 17 Nov 2002 08:41:01 +0100 Received: from iliana (80.11.160.89) by mel-rta9.wanadoo.fr (6.5.007) id 3DD3EB760012B57C; Sun, 17 Nov 2002 08:41:01 +0100 Received: from luther by iliana with local (Exim 3.36 #1 (Debian)) id 18DK3A-0000GD-00; Sun, 17 Nov 2002 08:41:00 +0100 Date: Sun, 17 Nov 2002 08:41:00 +0100 To: Oleg Cc: malc , caml-list@inria.fr Subject: Re: [Caml-list] native code toplevel Message-ID: <20021117074100.GA991@iliana> References: <200211170224.gAH2OK104280@nez-perce.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200211170224.gAH2OK104280@nez-perce.inria.fr> User-Agent: Mutt/1.4i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Nov 16, 2002 at 09:24:10PM -0500, Oleg wrote: > On Saturday 16 November 2002 06:16 pm, malc wrote: > > On Sat, 16 Nov 2002, Oleg wrote: > > > Hi > > > > > > I found the same question in the archives, but with no answers: why isn't > > > there a native code toplevel? Sometimes I need high performance and > > > interactivity (CMUCL can do it, why not O'Caml?) > > > > Let's see. We have following obstacles: > > a) Ocaml relies on external tools to generate native code (assembler, > > linker) > > It could call those external tools. Why not? Because you have to have them installed in order to use it, as well as the ocamlopt compilers also. > > b) Ocaml has no way to dynamically load .cmx or .cmxa > > I don't know about other platforms, but Solaris and Linux have dlopen, dlsym > and dlclose. Couldn't it use those? > > > And here is a real show stoper - no way to pick suitable name for the > > executable, i mean, ocaml - toplevel, ocamlc - compiler, ocamlopt - > > "optimizing" compiler. Quite simply, there is no space for such a beast. > > I would readily give up bytecode for native code. Alternatively, I would Until you begin working on linux/hppa or linux/s390 for example, which has no native code compiler. Friendly, Sven Luther ------------------- 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