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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BB27881799 for ; Mon, 22 Jul 2013 13:47:00 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=81.103.221.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com does not assert whether or not 81.103.221.48 is permitted sender) identity=mailfrom; client-ip=81.103.221.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mtaout02-winn.ispmail.ntl.com) identity=helo; client-ip=81.103.221.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@mtaout02-winn.ispmail.ntl.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwAAFIb7VFRZ90wlGdsb2JhbABagmWBJoMKvSYXdxYOAQEBAQcNCQkUAyWCJAEBAQQjEVUCAQgYAgIGIAICAjAVEAIEG4gJA6VskRGBKI49OIJdM24Dl12UX4Iq X-IPAS-Result: AuwAAFIb7VFRZ90wlGdsb2JhbABagmWBJoMKvSYXdxYOAQEBAQcNCQkUAyWCJAEBAQQjEVUCAQgYAgIGIAICAjAVEAIEG4gJA6VskRGBKI49OIJdM24Dl12UX4Iq X-IronPort-AV: E=Sophos;i="4.89,718,1367964000"; d="scan'208";a="21892002" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2013 13:46:59 +0200 Received: from aamtaout04-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout02-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20130722114658.HNCX23282.mtaout02-winn.ispmail.ntl.com@aamtaout04-winn.ispmail.ntl.com> for ; Mon, 22 Jul 2013 12:46:58 +0100 Received: from romulus.metastack.com ([81.98.252.242]) by aamtaout04-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20130722114658.NAWL21648.aamtaout04-winn.ispmail.ntl.com@romulus.metastack.com> for ; Mon, 22 Jul 2013 12:46:58 +0100 Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id r6MBkuST024078 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL) for ; Mon, 22 Jul 2013 12:46:56 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0123.003; Mon, 22 Jul 2013 12:46:56 +0100 From: David Allsopp To: "caml-list@inria.fr" Thread-Topic: [Caml-list] Re: functional or imperative feature ? Thread-Index: AQHOhlURoiAc9S9vskS5usKZ36Oy3Jlwg6oAgAARg2A= Date: Mon, 22 Jul 2013 11:46:55 +0000 Message-ID: References: <20130721225729.5267f17e61a6d904e8e6cc45@gmerlin.de> <20130722114230.GA2070@siouxsie> In-Reply-To: <20130722114230.GA2070@siouxsie> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.18] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Cloudmark-Analysis: v=1.1 cv=GaEGOwq9FwezmTggA+b6yC6zDZF2HYaK6RN/tSqdnVA= c=1 sm=0 a=IXlcok0kcmcA:10 a=Qn8MPrtVbDsA:10 a=cTs9vV391PwA:10 a=IkcTkHD0fZMA:10 a=xqWC_Br6kY4A:10 a=opQl783OEcMZxRbXfh0A:9 a=QEXdDO2ut3YA:10 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 Subject: RE: [Caml-list] Re: functional or imperative feature ? b2xpdmVyIHdyb3RlOg0KPiBNYXliZSBpdCBjYW4gYmUgY2FsbGVkIGp1c3Qg c3ludGFjdGljYWwgc3VnYXIuLi4NCg0KWWVzLi4uDQoNCj4gPT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09DQo+IA0KPiBsZXQgZnVuX2EgKCkgPSBwcmlu dF9lbmRsaW5lICJBOiBGb29CYXIiOw0KPiAgICAgICAgICAgICAgICBwcmlu dF9lbmRsaW5lICJBOiBCYXoiDQo+IA0KPiBsZXQgZnVuX2IgKCkgPQ0KPiAg ICAgICAgICAgICAgICBsZXQgKCkgPSBwcmludF9lbmRsaW5lICJCOiBGb29C YXIiIGluDQo+ICAgICAgICAgICAgICAgIGxldCAoKSA9IHByaW50X2VuZGxp bmUgIkI6IEJheiIgaW4NCj4gICAgICAgICAgICAgICAgKCkNCg0KLi4uIGJ1 dCBub3QgZm9yIHRoaXMgdHJhbnNsYXRpb24hIENvbnNpZGVyDQoNCiMgNDsg Mzs7DQpDaGFyYWN0ZXJzIDAtMToNCiAgNDsgMzs7DQogIF4NCldhcm5pbmcg MTA6IHRoaXMgZXhwcmVzc2lvbiBzaG91bGQgaGF2ZSB0eXBlIHVuaXQuDQot IDogaW50ID0gMw0KDQpCeSB5b3VyIHRyYW5zbGF0aW9uLCB5b3UnZCBoYXZl Og0KDQojIGxldCAoKSA9IDQgaW4NCiAgMzs7DQpDaGFyYWN0ZXJzIDktMTA6 DQogIGxldCAoKSA9IDQgaW4NCiAgICAgICAgICAgXg0KRXJyb3I6IFRoaXMg ZXhwcmVzc2lvbiBoYXMgdHlwZSBpbnQgYnV0IGFuIGV4cHJlc3Npb24gd2Fz IGV4cGVjdGVkIG9mIHR5cGUNCiAgICAgICAgIHVuaXQNCg0KDQpEYXZpZA0K