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 9515E7EE25 for ; Wed, 30 Oct 2013 22:08:01 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm18-vm4.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm18-vm4.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtUDAJZ0cVJiiluylGdsb2JhbABMDYQTCKxnkmeBKhYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUiAQMLBgUOOC8BDgEGEgYBiAYBAQIJBgSofAmDAYQyASMDASMDiW4BBgoBAQGPDzqELAOJP45ShjY1VYhucIQq X-IPAS-Result: AtUDAJZ0cVJiiluylGdsb2JhbABMDYQTCKxnkmeBKhYOAQEBAQcLCwkSKoIgBQEBBAELIBUBAhUiAQMLBgUOOC8BDgEGEgYBiAYBAQIJBgSofAmDAYQyASMDASMDiW4BBgoBAQGPDzqELAOJP45ShjY1VYhucIQq X-IronPort-AV: E=Sophos;i="4.93,604,1378850400"; d="scan'208";a="32744019" Received: from nm18-vm4.bullet.mail.ne1.yahoo.com ([98.138.91.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 30 Oct 2013 22:07:59 +0100 Received: from [98.138.226.177] by nm18.bullet.mail.ne1.yahoo.com with NNFMP; 30 Oct 2013 21:07:57 -0000 Received: from [98.138.88.233] by tm12.bullet.mail.ne1.yahoo.com with NNFMP; 30 Oct 2013 21:07:57 -0000 Received: from [127.0.0.1] by omp1033.mail.ne1.yahoo.com with NNFMP; 30 Oct 2013 21:07:57 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 717379.52527.bm@omp1033.mail.ne1.yahoo.com Received: (qmail 80055 invoked by uid 60001); 30 Oct 2013 21:07:57 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1383167277; bh=U6fuL8csSH8Bj4yQdM05SK9+LmXdogoWudmJAh0V1Qw=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=j2UEz469UkgrOPLx5FddilEQSk5wolU7Crj5DBk59/MWvr9LhR/hILG9IfVOcoOVTzn2tT3FeUxniCoY67ZmuEMROLInv04mT1dobHi3fmgwAne0XL4et4h8mp0ViT/6Z2rIrFZ2+ZBCutHqUkqzkqCWGdiVhIxlmir4nYWJU1Y= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=gIbrfkhcLP4SN/r6vC10hIPmrtT3hWz/P+ZV6BNy5nXZ8CJVg4Y1qQIEIiqe/oOPriKpzzqicqp/qyQKnBbQ1GMGjj8m/lKKLI4huwZTfSABWjnKSOned15HkSr/kAjUOeBRSVjE+z9h6YSAWpAZ3sunNME9VMVkMVh2Q2P47y4=; X-YMail-OSG: V0OPVooVM1kiE53K3oD9gugliB7TVI6YnAvakxQ1jU_k58Z SzN6Z8rrvhFzlli3TbB7auRm9J.LywUuXzIXDpDiRI5H.gDJMqHicjLJBlIH 8kbRTrq_Q1Hifa_peKP5wxSraU8sEpdCxJrp8g3zWsvl_1BxJTY3HEMxlC_O KIvPA6NMnnfo.1.M1TJ7G4fRUp.hWGjP5w2ZtzfwAyhEihcA2k9XB1mUA2ak ONTYvKHJtK8UnFVdm4AVjIBaWVOjWYEgRCbfTjGovTkaHlavsjpjwbh..NE_ IxcudacKl.iRTDaEL5alCwWFCI0NX1q_tjbffLEWevNJKrW0ThExPpAWtt5Z zBzDx9xU5E.makxlkrklgkpFY9vk_mIHB78f77eCVZE5DyIBM.Kg3v9jH29s BOf_ej6zQHJ6O1IvgPp3mwNwCu67YclOMJ8HWvNlSZWq.BUFqiXlxlTadIQC FSJJKfn56OrXjsZn.vquVCmYsPgu9N0C771L1R8scqepmDe0ycO0aK9oR623 k3Vj5d0KbJbKkr2xuohKMaMZTITzat5RU0O7oCkqEM9h1OW1aVSKYc2qvMv5 S8zaHdmClNaCVpgN86M4c4NVDeA6rq9qE3SQMXzuvkzfopbQ- Received: from [195.23.39.208] by web120402.mail.ne1.yahoo.com via HTTP; Wed, 30 Oct 2013 14:07:57 PDT X-Rocket-MIMEInfo: 002.001,SGksCgo.IFNob3VsZG4ndCB3ZSBoYXZlLCBpbiBzdGFuZGFyZCBsaWJyYXJpZXMsIGEgcHJlZml4IG9wZXJhdG9yIGZvciBmb3JjaW5nIGxhenkgdmFsdWVzLAo.IGNvbXBhcmFibGUgdG8gYCFgIGZvciByZWZlcmVuY2UgY2VsbHMgYW5kIGAuIWAgZm9yIE1ldGFPQ2FtbCdzICJydW4iPwoKSW5kZWVkLCB0aGUgZm9sbG93aW5nIG9wZXJhdG9yIGRlZmluaXRpb24gaXMgcHJldHR5IGNvbW1vbiBvbiBPQ2FtbCBjb2RlIGluIHRoZSB3aWxkOgoKbGV0ICghISkgPSBMYXp5LmZvcmNlCgpIb3dldmVyLCBJJ20gbm8BMAEBAQE- X-Mailer: YahooMailWebService/0.8.160.587 References: Message-ID: <1383167277.75943.YahooMailNeo@web120402.mail.ne1.yahoo.com> Date: Wed, 30 Oct 2013 14:07:57 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: Lukasz Stafiniak , Caml , "batteries-discuss@lists.forge.ocamlcore.org" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Operator for Lazy.force? Hi, > Shouldn't we have, in standard libraries, a prefix operator for forcing l= azy values, > comparable to `!` for reference cells and `.!` for MetaOCaml's "run"? Indeed, the following operator definition is pretty common on OCaml code in= the wild: let (!!) =3D Lazy.force However, I'm not sure it should be part of a standard library.=A0 There are= projects which do not use Lazy, and instead define the (!!) operator to be something else = convenient for whatever task they perform. Best regards, Dario Teixeira