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 CAA02047; Mon, 18 Nov 2002 02:05:04 +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 CAA02037 for ; Mon, 18 Nov 2002 02:05:03 +0100 (MET) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gAI152120982 for ; Mon, 18 Nov 2002 02:05:02 +0100 (MET) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id gAI151Fo031581 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT) for ; Mon, 18 Nov 2002 02:05:02 +0100 Received: from first.UUCP (uucp@localhost) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id gAI151Ht031571 for inria.fr!caml-list; Mon, 18 Nov 2002 02:05:01 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: inria.fr!caml-list Received: by first.in-berlin.de via sendmail from stdin id (Debian Smail3.2.0.114) Mon, 18 Nov 2002 02:04:01 +0100 (CET) From: oliver@first.in-berlin.de (Oliver Bandel) Date: Mon, 18 Nov 2002 02:04:01 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] native code toplevel Message-ID: <20021118010401.GA376@first.in-berlin.de> References: <200211161432.gAGEWo124537@nez-perce.inria.fr> <20021117102036.GD5205@lordsoth.takhisis.org> <20021118085958W.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20021118085958W.garrigue@kurims.kyoto-u.ac.jp> User-Agent: Mutt/1.3.28i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Mon, Nov 18, 2002 at 08:59:58AM +0900, Jacques Garrigue wrote: > From: Stefano Zacchiroli > > On Sun, Nov 17, 2002 at 02:16:57AM +0300, malc wrote: > > > b) Ocaml has no way to dynamically load .cmx or .cmxa > > > > We have lived for a long time with ocamlmktop, we can also live with > > building of native code toplevels. > > I have a strong feeling that what people are really asking for is the > ability to mix bytecode and native code. [...] Yes, it would be good to load bytecode and native code with a #load command from within the toplevel, even if new code - entered from the toplevel - only will be compiled to bytecode. But as far as I experienced in my experiments (I tried some things with ocamlnet, and the compilation does not compile all libs to bytecode AND nativecode; some files were compiled to bytecode, others to native code and I didn't know, how to use this stuff and suspended any Ocaml-action since then), it was not possible to use native code from the toplevel. No #require command has helped in loading native code, and compilation failed, as I tried to mix some of these libs. Ciao, Oliver P.S.: Now I'm exploring OpenGL, and I do it with C-Programming, because, when using Ocaml for this purpose (this is a common Ocaml-problem, not only related to OpenGL), you have to have the knowledge of using it (OpenGL, or any other similar library, like Tk-stuff or other things) with C! If you are not familiar with a library, you will not have good chances to start with it while starting with OCaml too: There are no books and there are no good documentations. That's a reason, why OCaml will be less used for longer time. If there would be books for using OCaml for often needed libraries (Ocaml, Tk, ...) or books on algorithms for OCaml (there are a lot of versions of "Numerical Recipes", but I did not heard of one for OCaml), then it would be more easy to see a way, when ocaml gets widespread, instead of ghosting around in ivory tower only. ------------------- 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