From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <esther.baruk@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 1A2DE7EE51
	for <caml-list@sympa.inria.fr>; Fri, 24 May 2013 17:37:04 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  esther.baruk@gmail.com) identity=pra;
  client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="esther.baruk@gmail.com";
  x-sender="esther.baruk@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  esther.baruk@gmail.com designates 209.85.217.182 as permitted
  sender) identity=mailfrom; client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="esther.baruk@gmail.com";
  x-sender="esther.baruk@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-lb0-f182.google.com) identity=helo;
  client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="esther.baruk@gmail.com";
  x-sender="postmaster@mail-lb0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkICAKSIn1HRVdm2lGdsb2JhbABZxV19CBYOAQEBAQcLCwkSKoIaCQEBBAFAARsdAQMBCwYFAwEHOyEBAREBBQEcBhOHegEDCQacVYw/gn2EawoZJw1YiAQBBQyMOoJXB4NUA5VVgWaMHYM+FimENzo
X-IPAS-Result: AkICAKSIn1HRVdm2lGdsb2JhbABZxV19CBYOAQEBAQcLCwkSKoIaCQEBBAFAARsdAQMBCwYFAwEHOyEBAREBBQEcBhOHegEDCQacVYw/gn2EawoZJw1YiAQBBQyMOoJXB4NUA5VVgWaMHYM+FimENzo
X-IronPort-AV: E=Sophos;i="4.87,736,1363129200"; 
   d="scan'208";a="18878372"
Received: from mail-lb0-f182.google.com ([209.85.217.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 May 2013 17:37:03 +0200
Received: by mail-lb0-f182.google.com with SMTP id z5so4834098lbh.27
        for <caml-list@inria.fr>; Fri, 24 May 2013 08:37:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=zgHwRhoI2vQLLrXTxivr/mKtvcNiDTow2Gs1soXd9qE=;
        b=ch+o1Ik+cqxJcfkjFSlvObSjj4Jpch8VFKo0qR8yfduUmom2SqZdr9tcb9uxtDm2c4
         8C/aA8uYC+Eokp+4EzKICYu9oZNYDuLIYXsWZ390hxAaGK666V6sNU8VgUxT59KR33JV
         CEeuMYLC6fmp7mZoDsK1MeHn68ssNiJJu/b4FruTqNpYGDBeWKq+OuM+AITPk249EoBc
         mkThoeaLkeoTlH8BE2kVBPxxSk1IZpwgtR4U1jrIPIdAnzrmOn9X39Q7hVP7tIyGdGS9
         0KL3yxpMNwtyFzJ4jyWFE3CsK1qncA2E2yuHQM7xOjUNF8FcEhXauozorC5oyfronu2J
         BE5w==
X-Received: by 10.112.181.163 with SMTP id dx3mr9095092lbc.126.1369409822872;
 Fri, 24 May 2013 08:37:02 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.112.79.170 with HTTP; Fri, 24 May 2013 08:36:42 -0700 (PDT)
In-Reply-To: <CAC3Lx=a9zCzBvD0eHRg8SS8D49+dH4hweBsfNwuOKBWf_ETYMA@mail.gmail.com>
References: <CAC3Lx=aj0HxPYvQKpt2yFzcQMXZOc2NKnB56DezQheMHjUPdag@mail.gmail.com>
 <519F1CF6.7050007@riken.jp> <20130524143500.GE2007@siouxsie>
 <CAFzMiE19Nk1bU_5Z_CdRNhBiV3W67Ohxjba2eGnMsLXS1uuhcA@mail.gmail.com> <CAC3Lx=a9zCzBvD0eHRg8SS8D49+dH4hweBsfNwuOKBWf_ETYMA@mail.gmail.com>
From: Esther Baruk <esther.baruk@gmail.com>
Date: Fri, 24 May 2013 17:36:42 +0200
Message-ID: <CAFzMiE3+5zqvUFroTvC1Xgmd7Z=iW2AmfqXXPZdc2z5C11VTbg@mail.gmail.com>
To: David MENTRE <dmentre@linux-france.org>
Cc: oliver <oliver@first.in-berlin.de>, 
	"caml-list@inria.fr users" <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a11c37a840b58dd04dd78927b
Subject: Re: [Caml-list] French study on security and functional languages


--001a11c37a840b58dd04dd78927b
Content-Type: text/plain; charset=ISO-8859-1

On Fri, May 24, 2013 at 5:18 PM, David MENTRE <dmentre@linux-france.org>wrote:

> Hello,
>
> 2013/5/24 Esther Baruk <esther.baruk@gmail.com>:
> > These documents do not even mention the -ppx option and thus the project
> was
> > done without comparing the two approaches...
>
> I just glimpsed through the documents but some of them seem quite old
> (2011) and they are referencing OCaml 3.12.0.
>

Yes, I just saw that. They could have at least write something on it. A lot
has changed since 2011...


Esther Baruk

--001a11c37a840b58dd04dd78927b
Content-Type: text/html; charset=ISO-8859-1

<div dir="ltr"><div class="gmail_extra">On Fri, May 24, 2013 at 5:18 PM, David MENTRE <span dir="ltr">&lt;<a href="mailto:dmentre@linux-france.org" target="_blank">dmentre@linux-france.org</a>&gt;</span> wrote:<br></div><div class="gmail_extra">

<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
2013/5/24 Esther Baruk &lt;<a href="mailto:esther.baruk@gmail.com">esther.baruk@gmail.com</a>&gt;:<br>
<div class="im">&gt; These documents do not even mention the -ppx option and thus the project was<br>
&gt; done without comparing the two approaches...<br>
<br>
</div>I just glimpsed through the documents but some of them seem quite old<br>
(2011) and they are referencing OCaml 3.12.0.<br></blockquote><div><br></div><div style>Yes, I just saw that. They could have at least write something on it. A lot has changed since 2011...</div><div style><br></div><div style>

<br></div><div style>Esther Baruk</div></div></div></div>

--001a11c37a840b58dd04dd78927b--