From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q29HD19O015504 for ; Fri, 9 Mar 2012 18:13:01 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAI05Wk/RVdQ2kGdsb2JhbABDtSoIIgEBAQEJCQ0HFAQjggEFHQIsARseAxIIAQddAREBBQEiNYUmgjASmm2CXQqLdIJxhSY/iHQBBQuQTwSVSYlDhHs9hAU X-IronPort-AV: E=Sophos;i="4.73,559,1325458800"; d="scan'208";a="135267386" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Mar 2012 18:12:55 +0100 Received: by vbmv11 with SMTP id v11so2622131vbm.27 for ; Fri, 09 Mar 2012 09:12:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=VBa8OodIUB/FSSE1TwMcrf8tBjV6E/PRXo+7D60BHCs=; b=C8e4Kwks3ZbFt2+q3iwdF/sDbzQXebqxSY1WmlFI1tPdC9LoG5nGVVqRvel6F4QkJo R5CbQ/+VcveC1DPC588pmyHHuBkzec24hL6S2dKiAxJoX4Kcs8Mnil/zFmsQi50CbHcC Z0C1SoK24t5oIIE85EpgHkffM5mvyVnbQ6KbLBgRDKXqq0qlWI7/Rx/th46EWOWBEruo jXYLNE1r5acH1G3ARQCFK0sMdhELNMsCPsobi00oAb2B9LHWK/DU4fhCxt3TN9jc3fYx 5XWPLOJxQ0Txk9CtreyXi1OWed0ewijDG606Ttd3Req9nc6VYio/m530oBGr6fQHopeu NmIg== Received: by 10.52.21.168 with SMTP id w8mr4827861vde.77.1331313174566; Fri, 09 Mar 2012 09:12:54 -0800 (PST) MIME-Version: 1.0 Received: by 10.52.112.201 with HTTP; Fri, 9 Mar 2012 09:12:34 -0800 (PST) From: Philippe Veber Date: Fri, 9 Mar 2012 18:12:34 +0100 Message-ID: To: caml users Content-Type: multipart/alternative; boundary=20cf307c9ed0dad5b604bad28044 X-Validation-by: philippe.veber@gmail.com Subject: [Caml-list] A js_of_ocaml equivalent for the JVM? --20cf307c9ed0dad5b604bad28044 Content-Type: text/plain; charset=ISO-8859-1 Dear camlers, I used js_of_ocaml several times and was really stunned of how clever (notably because writing interfaces boils down to writing types) and efficient this approach is. Would a similar thing work for the JVM, that is a compiler from ocaml bytecode to java bytecode? I guess it wouldn't provide a full interoperability with java, in the sense that creating or extending classes may not be possible (well, why not after all?). However, being able to run an ocaml program on the JVM reusing existing java libraries would be so useful already! Are there known obstacles to this? Has anyone tried something in this direction? Would there be a chance to support multicore programming that way? I hope these are not silly questions (sorry if they are!) Best, Philippe. --20cf307c9ed0dad5b604bad28044 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear camlers,
I used js_of_ocaml several times and was really stunned of= how clever (notably because writing interfaces boils down to writing types= ) and efficient this approach is. Would a similar thing work for the JVM, t= hat is a compiler from ocaml bytecode to java bytecode? I guess it wouldn&#= 39;t provide a full interoperability with java, in the sense that creating = or extending classes may not be possible (well, why not after all?). Howeve= r, being able to run an ocaml program on the JVM reusing existing java libr= aries would be so useful already!

Are there known obstacles to this? Has anyone tried something in this d= irection? Would there be a chance to support multicore programming that way= ? I hope these are not silly questions (sorry if they are!)

Best,
=A0 Philippe.

--20cf307c9ed0dad5b604bad28044--