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 UAA00979; Wed, 25 Aug 2004 20:00:49 +0200 (MET DST) 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 UAA01506 for ; Wed, 25 Aug 2004 20:00:48 +0200 (MET DST) Received: from annexia.force9.co.uk (annexia.force9.co.uk [212.56.101.183]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7PI0met010323 for ; Wed, 25 Aug 2004 20:00:48 +0200 Received: from rich by annexia.force9.co.uk with local (Exim 3.36 #1 (Debian)) id 1C024l-0004yU-00 for ; Wed, 25 Aug 2004 19:00:47 +0100 Date: Wed, 25 Aug 2004 19:00:47 +0100 Cc: caml-list@inria.fr Subject: Re: [Caml-list] Alternative Bytecodes for OCaml Message-ID: <20040825180047.GA19095@annexia.org> References: <200408250926.28629.jgoerzen@complete.org> <20040825173744.GA11806@bourg.inria.fr> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="6TrnltStXW4iwmi0" Content-Disposition: inline In-Reply-To: <20040825173744.GA11806@bourg.inria.fr> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Richard Jones X-Miltered: at nez-perce with ID 412CD3D0.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 bytecodes:01 2004:99 basile:01 tailcall:01 barrier:01 dbi:99 threads:01 ltd:98 anyhow:01 ocaml:01 ocaml:01 caml:01 jvm:01 jvm:01 X-Attachments: type="application/pgp-signature" name="signature.asc" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --6TrnltStXW4iwmi0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Aug 25, 2004 at 07:37:45PM +0200, Basile Starynkevitch [local] wrot= e: > The substantial differences in the GC, and the lack of closure & > tailcall support in JVM is a well known barrier against using the JVM > for functional language implementations. In other words, even if some > Java enthusiasts tell otherwise, the JVM is not the universal UNCOL of > our time! It's not really an issue of speed. It's got a lot more to do with compatibility. For example, an implementation like Nicolas Cannasse's which would allow you to run the Java bytecode in a "sandbox JVM", while keeping the main OCaml code as OCaml bytecode or native code, would be entirely acceptable for me. Perl4caml works very similarly to this. Even if your OCaml code is native, when you call out to Perl, it runs in the Perl interpreter (in-process). This is sufficient to provide access to the Perl libraries. It's not particularly fast, but you only suffer a penalty for the small portion of the program where you call out to Perl, and the main thing is programmer productivity anyhow. Rich. --=20 Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment PTHRLIB is a library for writing small, efficient and fast servers in C. HTTP, CGI, DBI, lightweight threads: http://www.annexia.org/freeware/pthrli= b/ --6TrnltStXW4iwmi0 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQFBLNPP4le1M6q9pzoRAhrWAKCLXNwtSq9ub2f87Bx16VxKShXoZACfTHJ5 01rhxr8NANwN5R2DERJPhCU= =GaTA -----END PGP SIGNATURE----- --6TrnltStXW4iwmi0-- ------------------- 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