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 PAA23484; Sun, 17 Nov 2002 15:00:25 +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 PAA23480 for ; Sun, 17 Nov 2002 15:00:24 +0100 (MET) Received: from smtp-send.myrealbox.com (smtp-send.myrealbox.com [192.108.102.143]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gAHE0N112338 for ; Sun, 17 Nov 2002 15:00:23 +0100 (MET) Message-Id: <200211171400.gAHE0N112338@nez-perce.inria.fr> Received: from there oleg_inconnu@smtp-send.myrealbox.com [156.111.84.180] by smtp-send.myrealbox.com with NetMail SMTP Agent $Revision: 3.14 $ on Novell NetWare; Sun, 17 Nov 2002 07:00:24 -0700 Content-Type: text/plain; charset="iso-8859-1" From: Oleg To: Sven Luther Subject: Re: [Caml-list] native code toplevel Date: Sun, 17 Nov 2002 09:00:08 -0500 X-Mailer: KMail [version 1.3.2] Cc: malc , caml-list@inria.fr References: <200211170224.gAH2OK104280@nez-perce.inria.fr> <20021117074100.GA991@iliana> In-Reply-To: <20021117074100.GA991@iliana> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sunday 17 November 2002 02:41 am, Sven Luther wrote: > 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. I have them installed. > > > 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. Why should a hypothetical possibility of working on an obscure system make me suffer now that I'm using Linux/x86? So they don't have ocamlopt either. Does this mean I must not use it? Oleg ------------------- 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