From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 93DFDBBAF for ; Wed, 19 May 2010 17:23:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtoDAD+f80vRVdQ2kGdsb2JhbACDGJpXCBUBAQEBCQkMBxEDH60jgjqFTYh8AQEDBYQhagSDQIoR X-IronPort-AV: E=Sophos;i="4.53,263,1272837600"; d="scan'208";a="59658047" Received: from mail-vw0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 May 2010 17:23:58 +0200 Received: by vws17 with SMTP id 17so3981655vws.27 for ; Wed, 19 May 2010 08:23:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:mime-version:sender:received :in-reply-to:references:from:date:x-google-sender-auth:message-id :subject:to:cc:content-type; bh=S0xgnh2iPZHD7EyMGD+bXgYXJr6bxpCA4P+p4oKGs5s=; b=EyQMNFh8qKWb4t1fyCb0VqtcgXPxCAeskLt10r0WubAi2iiIezCFeAVs0A2OwtEcHL p1OQyY9CR0N4YXbgLgjChlBPMWwCyMMhJxsnPiKRZEcSjL0le8vvqlK/CBpp8OiHNkEX sOVi8+zAWhZcJ6GvkItNgnCr+ZKZpGUK+ArHY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=qaMAGn8Fc+AKSqJ02hBh6in79CYP/TGkH8o9CLZH/TnoT/G7/KSnZ+m8wl738u+PWG 5wNUDxAfdmAQnGlJeAyDqsKXF5biIm8znbG/B5NxzKxyO/Mvye/hra3gmJLyIhRecjtu m3xoZp9HWw4f/1MKM4N8vfz9Q35rG+nQ4U5YM= Received: by 10.220.108.83 with SMTP id e19mr4439498vcp.185.1274282634281; Wed, 19 May 2010 08:23:54 -0700 (PDT) MIME-Version: 1.0 Sender: erick.tryzelaar@gmail.com Received: by 10.220.94.146 with HTTP; Wed, 19 May 2010 08:23:34 -0700 (PDT) In-Reply-To: <002d01caf758$1ff14a10$5fd3de30$@romulus.metastack.com> References: <012601caf351$e9a362e0$bcea28a0$@com> <44A730DD-54EB-4A1C-BD1A-6E9EFB31B5A2@x9c.fr> <01f001caf536$c923b4c0$5b6b1e40$@com> <20100517095327.14271x0lnao43sao@imp.ovh.net> <002001caf6e8$b408ed90$1c1ac8b0$@com> <20100519094634.63006zi1h04x95z4@imp.ovh.net> <002d01caf758$1ff14a10$5fd3de30$@romulus.metastack.com> From: Erick Tryzelaar Date: Wed, 19 May 2010 08:23:34 -0700 X-Google-Sender-Auth: Jy0WIVYCMHmrPhXvKf5N7JhaxaE Message-ID: Subject: Re: [Caml-list] Re: about OcamIL To: David Allsopp Cc: Eray Ozkural , Michael Ekstrand , caml-list@inria.fr Content-Type: multipart/alternative; boundary=00c09f8fe3a8c287770486f40bf4 X-Spam: no; 0.00; ocaml:01 ocamlopt:01 ocaml:01 bytecode:01 ocamlopt:01 bytecode:01 javascript:98 javascript:98 sourceforge:01 wrote:01 wrote:01 caml-list:01 native:03 native:03 thread:06 X-Attachments: cset="UTF-8" cset="UTF-8" --00c09f8fe3a8c287770486f40bf4 Content-Type: text/plain; charset=UTF-8 On Wed, May 19, 2010 at 6:35 AM, David Allsopp wrote: > > There are two pretty viable alternatives for running OCaml code in a web > browser - ocamljs[1] is a JavaScript backend for ocamlopt and O'Browser[2] > which is a JavaScript implementation of the OCaml bytecode interpreter (or > VM, as it's been called in this thread). > > There's also nacl-ocaml [1] that uses google's native client to directly execute native ocaml. [1]: http://code.google.com/p/nacl-ocaml --00c09f8fe3a8c287770486f40bf4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Wed, May 19, 2010 at 6:35 AM, David Allsopp <dra-news@metastack.com> w= rote:

There are two pretty viable alternatives for ru= nning OCaml code in a web
browser - ocamljs[1] is a JavaScript backend for ocamlopt and O'Browser= [2]
which is a JavaScript implementation of the OCaml bytecode interpreter (or<= br> VM, as it's been called in this thread).

There= 's also nacl-ocaml [1] that uses google's native client to directly= execute native ocaml.

--00c09f8fe3a8c287770486f40bf4--