From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jon@ffconsultancy.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id D86AD7EE99
	for <caml-list@sympa.inria.fr>; Wed, 22 Jan 2014 22:23:06 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jon@ffconsultancy.com) identity=pra; client-ip=84.93.230.250;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="jon@ffconsultancy.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jon@ffconsultancy.com) identity=mailfrom;
  client-ip=84.93.230.250;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="jon@ffconsultancy.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@avasout05.plus.net) identity=helo;
  client-ip=84.93.230.250;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jon@ffconsultancy.com";
  x-sender="postmaster@avasout05.plus.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtcBAHQ24FJUXeb6nGdsb2JhbABbrXWSA4ETFg4BAQEBAQYNCQkUKIIlAQEBBAgCMEwDAgkYLhkjGwIEAR0Fh3nEBhePA4Q4BI8mnkE
X-IPAS-Result: AtcBAHQ24FJUXeb6nGdsb2JhbABbrXWSA4ETFg4BAQEBAQYNCQkUKIIlAQEBBAgCMEwDAgkYLhkjGwIEAR0Fh3nEBhePA4Q4BI8mnkE
X-IronPort-AV: E=Sophos;i="4.95,702,1384297200"; 
   d="scan'208";a="45766433"
Received: from avasout05.plus.net ([84.93.230.250])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jan 2014 22:22:51 +0100
Received: from XPS ([91.125.112.34])
	by avasout05 with smtp
	id H9Nl1n0030kazHn019NmBA; Wed, 22 Jan 2014 21:22:47 +0000
X-CM-Score: 0.00
X-CNFS-Analysis: v=2.1 cv=Db0u9JdW c=1 sm=1 tr=0
 a=DvnplZMz9B0OTucJM+SM4w==:117 a=DvnplZMz9B0OTucJM+SM4w==:17 a=0Bzu9jTXAAAA:8
 a=XCxr5DcLagoA:10 a=Xub9RBUEA-sA:10 a=Kvk-SOs2Z7YA:10 a=kj9zAlcOel0A:10
 a=r2vSxAw-AAAA:8 a=BR64nyZ84HQA:10 a=Lit9uLpXHRFhu8Q2gsMA:9 a=CjuIK1q_8ugA:10
 a=qdRFCysNJngA:10 a=liEixcgcd88A:10
X-AUTH: jdh302:2500
Reply-To: <jon@ffconsultancy.com>
From: "Jon Harrop" <jon@ffconsultancy.com>
To: "'Francois Berenger'" <berenger@riken.jp>,
	<caml-list@inria.fr>
References: <sympa.1390216798.28729.17@inria.fr> <52DDD607.5020507@riken.jp>
In-Reply-To: <52DDD607.5020507@riken.jp>
Date: Wed, 22 Jan 2014 21:22:49 -0000
Organization: Flying Frog Consultancy Ltd.
Message-ID: <08b801cf17b8$1b6f1600$524d4200$@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Outlook 14.0
Thread-Index: AQHvvpHaD09UaWT/NQ4bvbWsVxur/gJqNNMgmjyhHhA=
Content-Language: en-gb
Subject: RE: [Caml-list] How much optimized is the 'a option type ?

Francois wrote:
> Isn't this thread about people wanting to have monadic code in OCaml going
faster?

I think you would need the equivalent optimizations applied to closures
which begs the question: how do you represent closures using value types?

Cheers,
Jon.