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 9FB3280211 for ; Fri, 20 Oct 2017 18:55:01 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mmatalka@gmail.com) identity=pra; client-ip=209.85.192.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="mmatalka@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mmatalka@gmail.com designates 209.85.192.177 as permitted sender) identity=mailfrom; client-ip=209.85.192.177; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f177.google.com) identity=helo; client-ip=209.85.192.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mmatalka@gmail.com"; x-sender="postmaster@mail-pf0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AncjhARXblW/5MbLkfkV6Of7jtzPV8LGtZVwlr6E/?= =?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?A0C8AgCpKepZhrHAVdFcHRgHDAEFAQsBh?= =?us-ascii?q?S2dV4F6iTqMfoIQChiEDgGBFAKEO0YRAQEBAQEBAQEBAQESAQEBCAsLCCgvgjg?= =?us-ascii?q?FAR4BBYI8AQEBAgEBPwEbHQEDAQsGBQsWJQ8BBA8RAQUBIhOKBwEDDQgEnkdAj?= =?us-ascii?q?hEFARyDCQWDYAoZJw1YgwEBAQEBAQUBAQEBARsCBgkBCIMcgTZRgVCFE4p6BaF?= =?us-ascii?q?flHGBfAGJXIdGlU0CBAIEBQIGFCSBFTkDgXY0IQgdFUk1gi+CbIFzdgGJCoFVA?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0C8AgCpKepZhrHAVdFcHRgHDAEFAQsBhS2dV4F6iTqMfoI?= =?us-ascii?q?QChiEDgGBFAKEO0YRAQEBAQEBAQEBAQESAQEBCAsLCCgvgjgFAR4BBYI8AQEBA?= =?us-ascii?q?gEBPwEbHQEDAQsGBQsWJQ8BBA8RAQUBIhOKBwEDDQgEnkdAjhEFARyDCQWDYAo?= =?us-ascii?q?ZJw1YgwEBAQEBAQUBAQEBARsCBgkBCIMcgTZRgVCFE4p6BaFflHGBfAGJXIdGl?= =?us-ascii?q?U0CBAIEBQIGFCSBFTkDgXY0IQgdFUk1gi+CbIFzdgGJCoFVAQEB?= X-IronPort-AV: E=Sophos;i="5.43,405,1503352800"; d="scan'208";a="241820386" Received: from mail-pf0-f177.google.com ([209.85.192.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Oct 2017 18:55:00 +0200 Received: by mail-pf0-f177.google.com with SMTP id z11so11852179pfk.4 for ; Fri, 20 Oct 2017 09:55:00 -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=4A3MxHUr9jrpfz58zC+N0Ye4x6Yrp3H+fVuo6Qctxos=; b=Nc/aJDPOBAqElrJWUnzc4Nmvdmi4YoN6aHkKr92VrDQTuyNZodh/U7ZzTnFmsVkgIq 1oeB78dhxLM4+Qgv/pC12XBhs3TlnmBO7N7ZzlQ7/ncGNT6ye+rTy0oH++svKHDq+qCz cgQAaAf/2CmMT6T4EjYpjGfU81z47W3crLWFgrBGz4zPLA5uLcN3j/lOGGSDOtumyjpF Fnx4cquwWYu/DtXkf6dtHO4XrM6NfNSNj9nEUCvwPZjpwlKTZAWr3OgTkH9YP8wyzwoC yfXaDHrNmhY5gv1xMaTdh+N99oRFNNBovMwZk1obH4ju0CJTh0/oAwc1OGAtYAcV9wJh C7Sg== 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=4A3MxHUr9jrpfz58zC+N0Ye4x6Yrp3H+fVuo6Qctxos=; b=QI/HzK+gHI0F2kWwZw8FGayEjpJrZwzZwaOWOxileGsf6A0so4lWtcpJGooc9g+NuJ xxjsEBsF0xEq1fnkGNdOAxgwcmzcKfLm9qlF4r6F73C/Ro1gweH1efVKcKkfRL6QUaQE 6jD4jX6Bm46BCnZHoUQr9R7Hw6Bkm9TouZQDe0I/RP7VPxyaJw84ekyRUZtyJUBH9WET e0uGBsFi+7YzrrQ4GR9nlEShycubn3jqgnuHQh1nUPmugUhR+V971fbkYeI9nGclcWz8 qRBp88OpS/lIC8PrC9Eiq7wOhaWwTdek0YH8DoHVBTSkXpVQBOBTHwuS2mlcc4EZOad6 7Usw== X-Gm-Message-State: AMCzsaXzapqBNrshlk7ZR3of5fyN71P6H6HQkBBSwAa7Q6XZRqw7Cqoc mjtZrCJBUBzunamCPxNPCiBXomlr X-Google-Smtp-Source: ABhQp+TfHHOhSRJ6ve146uVld4UHvbi34jje8T5SIun1NriX00Pi8Lad6yel0tJfOHz4fk/sInBDLg== X-Received: by 10.159.255.12 with SMTP id bi12mr4601633plb.371.1508518498787; Fri, 20 Oct 2017 09:54:58 -0700 (PDT) Received: from localhost ([37.153.108.22]) by smtp.gmail.com with ESMTPSA id s87sm2716968pfi.23.2017.10.20.09.54.56 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 20 Oct 2017 09:54:57 -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> Date: Fri, 20 Oct 2017 16:54:54 +0000 In-Reply-To: <20171020113815.GD32138@nunchakus.loria.fr> (Simon Cruanes's message of "Fri, 20 Oct 2017 13:38:16 +0200") Message-ID: <86k1zpzrmp.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: > Exceptions are also very useful as control structures sometimes. For > example: > > - exiting from a traversal (graph, tree, `Foo.iter` functions) early > - being able to return a result from any point in a very large algorithm > (e.g. returning "sat" or "unsat" in a SAT solver, where the main > algorithm can span several hundreds or thousands of lines). Seems like monads address this as well.