From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 7C34A7ED52
	for <caml-list@sympa.inria.fr>; Wed, 25 Jul 2012 20:32:59 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=pra; client-ip=138.231.136.3;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  steph@glondu.net) identity=mailfrom; client-ip=138.231.136.3;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="steph@glondu.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  postmaster@rouge.crans.org designates 138.231.136.3 as
  permitted sender) identity=helo; client-ip=138.231.136.3;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="steph@glondu.net";
  x-sender="postmaster@rouge.crans.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuoCADo7EFCK54gDgWdsb2JhbABFhXGzXCIBARYmJ4IgAQEFIwQRQAEQCxgCAgUWCwICCQMCAQIBRQYNAQcCiAkEqFuTM4Egii2FYoESA5VJgRSER4Uyh2E
X-IronPort-AV: E=Sophos;i="4.77,654,1336341600"; 
   d="scan'208";a="168143307"
Received: from rouge.crans.org ([138.231.136.3])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 25 Jul 2012 20:32:59 +0200
Received: from localhost (localhost.crans.org [127.0.0.1])
	by rouge.crans.org (Postfix) with ESMTP id D57B18442;
	Wed, 25 Jul 2012 20:32:58 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at crans.org
Received: from rouge.crans.org ([10.231.136.3])
	by localhost (rouge.crans.org [10.231.136.3]) (amavisd-new, port 10024)
	with LMTP id PJ0AEkA6auca; Wed, 25 Jul 2012 20:32:58 +0200 (CEST)
Received: from [0.0.0.0] (fbx.up7.fr [81.56.96.177])
	(using TLSv1 with cipher AES256-SHA (256/256 bits))
	(No client certificate requested)
	by rouge.crans.org (Postfix) with ESMTPSA id 292C58077;
	Wed, 25 Jul 2012 20:32:57 +0200 (CEST)
Message-ID: <50103BD8.3030707@glondu.net>
Date: Wed, 25 Jul 2012 20:32:56 +0200
From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.5) Gecko/20120624 Icedove/10.0.5
MIME-Version: 1.0
To: Diego Olivier Fernandez Pons <dofp.ocaml@gmail.com>
CC: caml-list <caml-list@inria.fr>
References: <CAHqiZ-K9w1e79mMUs1t_oAg-iPVJgxbg96pmCw1rftk1g17N5w@mail.gmail.com>
In-Reply-To: <CAHqiZ-K9w1e79mMUs1t_oAg-iPVJgxbg96pmCw1rftk1g17N5w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] JavaScript interpreter in OCaml

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


Cheers,

--=20
St=C3=A9phane