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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7073C800BE for ; Sat, 7 Jan 2017 11:56:27 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mmatalka@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@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-wm0-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-wm0-f53.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApKbs+BAdihssURjR8aMYUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP76o8bcNUDSrc9gkEXOFd2CrakV16yM6eu6ACRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUqabtcm81viz9pvPeE0IwWPlOfIhZCmx+CzXqs4QyaFrIaYwzFOdq31UYe?= =?us-ascii?q?NQz2pjJVOVtxn578a0upVk9nIDlegm8ptlWKHxeKA9BZlRED0iMGl9sMjuvAXK?= =?us-ascii?q?SQiGznQZW2QS1BFPBl6Wv1nBQp7tv36i5aJG0y6AMJizFOhsVA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlAgBsyHBYhjVSfUpeGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgw8BAQEBAX58EJ95lzEqhXgCgVZDEAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBAQgLCwodMIIzBAEVAQSCFwEEAUABGx0BAwELBgULAxMlDwEEDQIRAQUBI?= =?us-ascii?q?hOIVAEDEAgECqQZP44GBQEcgwkFg2IKGScNVIICAQEBAQEBAQECAQEBAQEBARk?= =?us-ascii?q?CAQUJAQiEK4IIhGGCTodeBZpkOIZZhnWDf4FfGIghMoYSigWHCjKBFDaBMxIHF?= =?us-ascii?q?RU3FIQNIIFqc4cXgU8BAQE?= X-IPAS-Result: =?us-ascii?q?A0BlAgBsyHBYhjVSfUpeGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgw8BAQEBAX58EJ95lzEqhXgCgVZDEAEBAQEBAQEBAQEBEgEBAQgLCwodM?= =?us-ascii?q?IIzBAEVAQSCFwEEAUABGx0BAwELBgULAxMlDwEEDQIRAQUBIhOIVAEDEAgECqQ?= =?us-ascii?q?ZP44GBQEcgwkFg2IKGScNVIICAQEBAQEBAQECAQEBAQEBARkCAQUJAQiEK4IIh?= =?us-ascii?q?GGCTodeBZpkOIZZhnWDf4FfGIghMoYSigWHCjKBFDaBMxIHFRU3FIQNIIFqc4c?= =?us-ascii?q?XgU8BAQE?= X-IronPort-AV: E=Sophos;i="5.33,328,1477954800"; d="scan'208";a="253725382" Received: from mail-wm0-f53.google.com ([74.125.82.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Jan 2017 11:56:26 +0100 Received: by mail-wm0-f53.google.com with SMTP id t79so61346174wmt.0 for ; Sat, 07 Jan 2017 02:56:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=8lFbtwvg5tTyWrPOO3WXjRGjKvs/WSJFQwzRsUgD2oc=; b=hRJbqppGXQ50BmEDoRIZaRxP9KOmU3PAuLJ7+6g0hl7UXodp91qYi1PO/QBcKIYjR0 mp3cmBWxYq8y/NiLAsq1RAvpPv99jkeZ72wvqQnJPz5T54SizcV2/zmbdfmgYAODJiSj rfGi/979WXigle+bUuiIwmUm0o50om35ze7jnkGN+HU74KImtMdnzDIheANEhzGRqA8v ewNfiaGD7w+etAJzXALibd8lQe2Wsn1jff0y/VixK9/ABFZ4I02trmFJj2lwXOVlNuaN Z+KPE2M/HLDp7d+uHyGf39a/prjUtH9j2TOlS/GS2bEkE9sFzTU4y5g151p1l9nvO2ki uBeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=8lFbtwvg5tTyWrPOO3WXjRGjKvs/WSJFQwzRsUgD2oc=; b=I7iVRNvxu9+av5LTtXNYSumgnfAR5rYNbfpYPyTuL2qIWqehkVgVAsOv2BU36VQCvn PGdb+K4c+YA7mKt4Atb9l07JDLBNowJ+oz2dLP1TKY+2hZc15xUOf0pxaqAo9molCa7M DTdj7kb29VUS/KsyZSn95We7vQIVb3edOy42BjXvykuhaXfNoJjBwaqLRZHNZ5gDegyu lO8FE+uPl/NMhp21SlvnFPBzApEHbBYHgfal28DqHSXxsJZC0CYPPLravJ8R8yn7HnEd RGGJBIs72azuu3HI094to7jvoV8BzRu94CWgudBuEnxuVHAJ89yxGffzKEaDcHfkbF5v EkgQ== X-Gm-Message-State: AIkVDXKMyU0PmQ26R9B9QYNVAxjl9pT32CLALonc1LlzpPwSFUzGaqOXZZGBA4xme/f3TQ== X-Received: by 10.223.161.69 with SMTP id r5mr5360286wrr.96.1483786586771; Sat, 07 Jan 2017 02:56:26 -0800 (PST) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id yo9sm1934024wjc.14.2017.01.07.02.56.25 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 07 Jan 2017 02:56:25 -0800 (PST) From: Malcolm Matalka To: Anton Bachin Cc: Ivan Gotovchits , "caml-list\@inria.fr users" References: <22A97EAF-DBFF-4FE8-90C3-0343533CC621@gmail.com> <3E0A0A1C-BEEE-464C-907E-663038F0DAF6@gmail.com> Date: Sat, 07 Jan 2017 10:56:24 +0000 In-Reply-To: <3E0A0A1C-BEEE-464C-907E-663038F0DAF6@gmail.com> (Anton Bachin's message of "Fri, 6 Jan 2017 13:41:34 -0600") Message-ID: <8637gvdtpj.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] =?UTF-8?Q?=5BANN=5D_Lwt_2=2E7=2E0_=E2=80=93_monad?= =?UTF-8?Q?ic_promises=3B_concurrent_I/O?= Anton Bachin writes: > Ivan, > > I personally would have preferred to call them futures. I actually come > from a C++ background, including modern C++, and also I just like the > word "future" more than "promise." To add some more terminology to the mix, I have generally seen Future and Promise being two sides of the same thing. A Future is a read-only value that can be determined to a value and a Promise is the side that can be set. The wikipedia entry uses this terminology. https://en.wikipedia.org/wiki/Futures_and_promises