From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 11FAD7ED52 for ; Wed, 25 Jul 2012 22:22:01 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.77,654,1336341600"; d="scan'208";a="151689915" Received: from cbg35-2-78-242-14-140.fbx.proxad.net (HELO top.irisa.fr) ([78.242.14.140]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 25 Jul 2012 22:22:00 +0200 From: Alan Schmitt To: =?utf-8?Q?St=C3=A9phane?= Glondu Cc: Diego Olivier Fernandez Pons , caml-list References: <50103BD8.3030707@glondu.net> Date: Wed, 25 Jul 2012 22:21:58 +0200 In-Reply-To: <50103BD8.3030707@glondu.net> (=?utf-8?Q?=22St=C3=A9phane?= Glondu"'s message of "Wed, 25 Jul 2012 20:32:56 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] JavaScript interpreter in OCaml St=C3=A9phane Glondu writes: > On 25/07/2012 15:38, Diego Olivier Fernandez Pons wrote: >> Does anyone have a JavaScript interpreter in OCaml ? Doesn't need to >> be 100% compliant, the user can always rewritte some parts of the >> JavaScript. And we discourage using weird / complex JavaScript >> constructions anyway. Alternatively, a JavaScript -> OCaml source to >> source translator could be good as well. > > I've never tried it, but there is: > > http://jscert.org/code.html We'd love to have people play with this, but beware it's an interpreter extracted from a Coq development (correctness trumps efficiency), and many parts of the language are still missing. We're working on extending it, but I don't think it's ready for prime time yet. Best, Alan