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 MAA20349; Sun, 17 Nov 2002 12:24:54 +0100 (MET) 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 MAA20345 for ; Sun, 17 Nov 2002 12:24:54 +0100 (MET) Received: from comtv.ru (comtv.ru [217.10.32.4]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gAHBOrX28129 for ; Sun, 17 Nov 2002 12:24:53 +0100 (MET) Received: from [10.0.66.9] ([10.0.66.9] verified) by comtv.ru (CommuniGate Pro SMTP 4.0) with ESMTP-TLS id 5532109; Sun, 17 Nov 2002 14:24:51 +0300 Date: Sun, 17 Nov 2002 14:21:58 +0300 (MSK) From: malc X-X-Sender: malc@home.oyster.ru To: Oleg cc: caml-list@inria.fr Subject: Re: [Caml-list] native code toplevel In-Reply-To: <200211170224.gAH2OK104280@nez-perce.inria.fr> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, 16 Nov 2002, 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 its hell to implement? > > 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? Plese take my word, its far more complicated than just calling dlfcn.h functions. > > > 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 > settle for pretty much any name. Uh-oh -- mailto:malc@pulsesoft.com ------------------- 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