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 CAA06450; Fri, 27 Aug 2004 02:10:59 +0200 (MET DST) 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 CAA10056 for ; Fri, 27 Aug 2004 02:10:58 +0200 (MET DST) Received: from freedom.gmsociety.org (freedom2.gmsociety.org [205.241.45.101]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i7R0AuFA017330 for ; Fri, 27 Aug 2004 02:10:57 +0200 Received: from freedom.gmsociety.org (localhost.localdomain [127.0.0.1]) by freedom.gmsociety.org (8.12.10/0.0.0) with ESMTP id i7R0Attk013962 for ; Thu, 26 Aug 2004 20:10:55 -0400 Received: (from mixmaster@localhost) by freedom.gmsociety.org (8.12.10/8.12.1/Submit) id i7R09NhH032261; Thu, 26 Aug 2004 20:09:23 -0400 Date: Thu, 26 Aug 2004 20:09:23 -0400 Message-ID: From: An Metet Comments: This message did not originate from the Sender address above. It was remailed automatically by anonymizing remailer software. Please report problems or inappropriate use to the remailer administrator at . To: caml-list@inria.fr Subject: [Caml-list] Re: Alternative Bytecodes for OCaml Message-ID: <897070bb2655ace05268714e2d59b66b@freedom.gmsociety.org> X-Miltered: at concorde with ID 412E7C10.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; bytecodes:01 uni-sb:01 2004:99 emitted:01 interoperate:01 ocaml:01 ocaml:01 jvm:01 jvm:01 constructs:02 constructs:02 jit:03 back-end:03 subset:03 group:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk There was a link on a Mozilla blog to some new "advanced" VM being developed by Alice-ML language group. http://www.ps.uni-sb.de/pipermail/alice-users/2004/000321.html I hope they are smart enough to use LLVM for a back-end. Their VM is supposed to do JIT, and LLVM rocks with that. Anyway, maybe worth a look, since it will definitely handle ML constructs, and I think (?) they want to handle JVM as a subset. I think that LLVM is also working on a JVM front end (?). Maybe if OCaml emitted LLVM, it could interoperate on some level with that, even though JVM doesn't handle ML constructs, since LLVM would - but maybe not, it depends. ------------------- 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