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 C196A80211 for ; Sat, 21 Oct 2017 23:15:39 +0200 (CEST) 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-pf0-f181.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=209.85.192.181; 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 209.85.192.181 as permitted sender) identity=mailfrom; client-ip=209.85.192.181; 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-pf0-f181.google.com) identity=helo; client-ip=209.85.192.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-pf0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOmh1KBWgsw+WUnCNg81A7/E7lWLV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZhSDt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aMlzFOAF0?= =?us-ascii?q?PuX4HJLJx4Tyjrjqus6bXwIdvzu4ZrU6Bw+rpAPcrYFCmopnLaB3wQHUq31FYK?= =?us-ascii?q?IMnTs3DVfPj1D7/Mjmr7B59CEFnvsl/MlEVO3fdrgxSb9RRGAjNmkp7cnovDHM?= =?us-ascii?q?SAKO4j0XVWBAwUkAOBTM8ByvBsS5iSD9rOconXDCZcA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKAQBauOtZhrXAVdFcHQEXAQYBDAYMh?= =?us-ascii?q?S2dV4F6iTuPDwoYhA4BgQsJAoQ8QxQBAQEBAQEBAQEBARIBAQEICwsIKC+COAU?= =?us-ascii?q?BHgEFgjwBAQECAQE/ARsdAQMMBgULFiUPAQQPEQEFASITigcBAw0IBJ4mQI4RB?= =?us-ascii?q?QEcgwkFg1cKGScNWIMBAQEBAQEFAQEBAQEbAgYJAQiDHIE2UYFQhROKegWhZpR?= =?us-ascii?q?0gXwBiV6HRpVPAgQCBAUCBhQkgRU2gXw0IQgdFUk1gi+CbIFzdgGJDYFVAQEB?= X-IPAS-Result: =?us-ascii?q?A0DKAQBauOtZhrXAVdFcHQEXAQYBDAYMhS2dV4F6iTuPDwo?= =?us-ascii?q?YhA4BgQsJAoQ8QxQBAQEBAQEBAQEBARIBAQEICwsIKC+COAUBHgEFgjwBAQECA?= =?us-ascii?q?QE/ARsdAQMMBgULFiUPAQQPEQEFASITigcBAw0IBJ4mQI4RBQEcgwkFg1cKGSc?= =?us-ascii?q?NWIMBAQEBAQEFAQEBAQEbAgYJAQiDHIE2UYFQhROKegWhZpR0gXwBiV6HRpVPA?= =?us-ascii?q?gQCBAUCBhQkgRU2gXw0IQgdFUk1gi+CbIFzdgGJDYFVAQEB?= X-IronPort-AV: E=Sophos;i="5.43,413,1503352800"; d="scan'208";a="297293580" Received: from mail-pf0-f181.google.com ([209.85.192.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Oct 2017 23:15:38 +0200 Received: by mail-pf0-f181.google.com with SMTP id i5so14437305pfe.6 for ; Sat, 21 Oct 2017 14:15:38 -0700 (PDT) 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=Y11sO1qvzeK8yhWvZ81UP42p8j/NHnB0OXKJhXHB8BA=; b=J+4jpU2T7p4eEgj17RwtAobmd6oSDH3DV0YqilitZzpbLgz3syzS5aCanqmDHlIoTd bgcPy0ZVWkasoK//r9mYhGocqTCnSwaNyprjgj1Aa7LscJLrTarirA6ZJ2imUtOAejME wieTY/e46whbN0F8rXOsivmorR6R5MzwEj2Cv/nRw1/keupBGn9h1/hvHCDkgqlX0XV+ TsSA3KNSaRbr3kI50lotOyvOfkl8IdDbvIxTLMm6E5CKGW7TwrWSEznANtrNs7Dt0KN3 PVvjKp6y4CkRXO62HFrtBqh1Ch+wlKM7D1r+DkHFbvbYX38C3nlRLZ7OhkTyI1tLxxeT 9LTw== 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=Y11sO1qvzeK8yhWvZ81UP42p8j/NHnB0OXKJhXHB8BA=; b=Am2+CY1OPIwtQP2SlfC1SrrNkzqWTomMR+l4EXNnj8R8QsuH3ozTjZKQzk+iirDTbv koV+o4qeoQ8YYXnBQPeBAFzDFwknXa1dkQ9/8Isiwfp3oijGMRKba73PMvf6hRnUHNu5 GdTQjNTZTKXzoZOAkbdcg7lzd69/2LImnvfLuUeVG9XnqfGv30Y1tz183afiT2aax66N NdFsLGb8Gh3d9XqbT3ApUd54e3CGKPbcfaYwG1+OAX8Ov1h+LO7lmEOdKuBkjn6OlKuZ 21sZI3aS+ifhCP36oG7hO5u6HKau/++d6t+ziTRj2AIQ9/2YeTG6Oi/oSu3Shiab/nTZ YAaA== X-Gm-Message-State: AMCzsaXFRMih/oFV6hZq/Q0tWJF3NYdP1vMz3wDmkvOyqli1HvGprh9X 01wpORTciaiiBNSm1psr5Ks= X-Google-Smtp-Source: ABhQp+RZ71xTHskiPQjNsxTu4SGTR3CTrXO4OHvd3gYW+T6rDKIeSJN5Oox+MBwFD0Gr7oYIaA+LhA== X-Received: by 10.98.196.209 with SMTP id h78mr8737305pfk.249.1508620536845; Sat, 21 Oct 2017 14:15:36 -0700 (PDT) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id k2sm6190900pff.126.2017.10.21.14.15.35 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 21 Oct 2017 14:15:35 -0700 (PDT) From: Malcolm Matalka To: Simon Cruanes Cc: Ivan Gotovchits , David Allsopp , caml-list References: <86o9p2ywgc.fsf@gmail.com> <20171020113815.GD32138@nunchakus.loria.fr> <86k1zpzrmp.fsf@gmail.com> <20171020194717.GJ3473@carty> Date: Sat, 21 Oct 2017 21:15:33 +0000 In-Reply-To: <20171020194717.GJ3473@carty> (Simon Cruanes's message of "Fri, 20 Oct 2017 21:47:17 +0200") Message-ID: <86bml0yzgq.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] What if exn was not an open type? Simon Cruanes writes: >> Seems like monads address this as well. > > Perhaps, but at some significant cost in both convenience (>>= > everywhere) and performance (for pure algorithmics, probably not much > for systems programming). Maybe flambda will address the performance side of things. I'd rather have do-notation than exceptions if the (>>=) is annoying.