From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 340BA5D4 for ; Sat, 30 Jan 2021 11:51:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,388,1602540000"; d="scan'208";a="489937485" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Jan 2021 12:51:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A2DBAE0A9B; Sat, 30 Jan 2021 12:51:21 +0100 (CET) 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 79E2DE00BF for ; Sat, 30 Jan 2021 12:51:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Markus.Elfring@web.de; spf=Pass smtp.mailfrom=Markus.Elfring@web.de; spf=None smtp.helo=postmaster@mout.web.de IronPort-PHdr: =?us-ascii?q?9a23=3AB7bj4hb8kXlL8adg+zcxEcv/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsS8bnLW6fgltlLVR4KTs6sC17OH9fu8EjVcqdbZ6TZeKcMKD0dEwe?= =?us-ascii?q?wt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZmJ6orxBbErXREd/?= =?us-ascii?q?lZyGh1IV6fgwvw6t2/8ZJ+8Slcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7D?= =?us-ascii?q?TQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiT?= =?us-ascii?q?wIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWHFMVdhNWSNfHoy8?= =?us-ascii?q?bpMPD+sfMuZes4n9vEYFoR+nCQWxGO/j1jpEi3nr1qM4zushCxnL0hIuH9wOrX?= =?us-ascii?q?rar9v7O6kdXu+30KbGwi7Ob+9P2Trn9ITEbh4srPOKULltccTR004vFwbdg1uX?= =?us-ascii?q?s4PlJTCV1vkWs2OG4ORgUeyvi3QmqwF3rTik28AhhI7TiYIPyVDE6D55zJw6K9?= =?us-ascii?q?28Rk57e9+kEJ1ftyyBOYp5XNgtT3t1tykk07ALv4OwcycWxpo93RHfd+CHfJaS?= =?us-ascii?q?4hLlTOucIzV1inJrdr+9mRq/7Eeux+3hW8e01FtGsylIn9nQu34N2RLe5daKR+?= =?us-ascii?q?Vg8kmu2TiC2R7f5+BKL00qiKbWKJEsz7gtnZQdtkTDGzX5mETwjKKOaEUk++2o?= =?us-ascii?q?5PrgYrn8upCcMIp0hhnkMqswgMO/Beo5Mg8UX2if5Ou806Hs8lf8QLVOlPE2lb?= =?us-ascii?q?PZsJ/cKM8GpaC5GxdY3pg+5xqhFTuqzsoUkHsdIF5YeB+LlZXlNl7WLP36Dvqz?= =?us-ascii?q?mVuhnTRxy/zbP7DsAI/BImbdnLv/e7t29lRSxxApzd9F4pJZErEBL+z3Wk/2rN?= =?us-ascii?q?HYCxg5MxGow+r9BtRyyJgRVXiSDaCHKK/SsFmI6fwzI+SUeoMZpSjxJ+I76/Lw?= =?us-ascii?q?j3I1g0IRcKmz0ZcKZ320BvFmLF+YYXrojNcBC2AKvg8mQeLtklKCSz1TZ2upX6?= =?us-ascii?q?4m6T87DIymDZ3CRoCrj7yMxym6EYNNaWxcF1+DD2/kd5+YVPcUdCKSPshhnyQY?= =?us-ascii?q?Wre7To8h0QiitAv7y7p8MurZ4TYYtJLm1Nht/eLfjxAy9TpuD8ScyW6BVW90nn?= =?us-ascii?q?lbDwMxiYd7oFJw0B+p2K50jvgQQdtX5u1ESC80NITH06p7DZX4VxjFf9HPRFvw?= =?us-ascii?q?Efu8BjRka9srwMIVK2t5Fc+jiB+Liw+jGbwIjPqmAJIu86TT92f8LYBxxiCVh+?= =?us-ascii?q?Eak1A6T54XZiWdjall+l2WXtaRyhTLp+ORba0ZmRX12iKGxGuKsltfVV4iTqjP?= =?us-ascii?q?G3wSNBKP8IbJo3jaRrrrMowJdwtMzcnbcflPbcD1y0pLTrHvNYaGOj7jqyKLHR?= =?us-ascii?q?+Ng4i0Qs/yYWxNjjrQAg4InlJL8A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BaAwACRxVghw4P49RiHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFPgwwVVzUvhECRKC0Dg32MXItqCwEDAQ0jCQECBAEBgVWCdQKBeAIdBwE?= =?us-ascii?q?ENBMCEAEBBQEBAQIBAwMEARMBAQEMDQkIKYVoDYI4KQGDEgEEASMdAQERJgEEC?= =?us-ascii?q?wsaAh8HAgJXBg0IAQGDIgGCVAEDDiQLtCeBMoMFAQEGgTMBgxsfLCJNgTsDBoE?= =?us-ascii?q?OKo0+Jg+BTT+BOIJyPoJdA4FegxmCYIFZc3o9AglqZowLrRUsB4FogRGBHQuIC?= =?us-ascii?q?owshgsFCh+TEA0Gj2GdUYF6lmeBbYF6MxokT4JpEz0ZDY4hGh2DOjOEYYVFQDM?= =?us-ascii?q?CNQIGCgEBAwlZAQGKWmABAQ?= X-IPAS-Result: =?us-ascii?q?A0BaAwACRxVghw4P49RiHQEBAQEJARIBBQUBQIFPgwwVVzU?= =?us-ascii?q?vhECRKC0Dg32MXItqCwEDAQ0jCQECBAEBgVWCdQKBeAIdBwEENBMCEAEBBQEBA?= =?us-ascii?q?QIBAwMEARMBAQEMDQkIKYVoDYI4KQGDEgEEASMdAQERJgEECwsaAh8HAgJXBg0?= =?us-ascii?q?IAQGDIgGCVAEDDiQLtCeBMoMFAQEGgTMBgxsfLCJNgTsDBoEOKo0+Jg+BTT+BO?= =?us-ascii?q?IJyPoJdA4FegxmCYIFZc3o9AglqZowLrRUsB4FogRGBHQuICowshgsFCh+TEA0?= =?us-ascii?q?Gj2GdUYF6lmeBbYF6MxokT4JpEz0ZDY4hGh2DOjOEYYVFQDMCNQIGCgEBAwlZA?= =?us-ascii?q?QGKWmABAQ?= X-IronPort-AV: E=Sophos;i="5.79,388,1602540000"; d="scan'208";a="371588807" X-MGA-submission: =?us-ascii?q?MDG2Y5EhKLaVKyUld93Nx5sTbT8yERrL+cjBq3?= =?us-ascii?q?9bWrV7RP2PY6gbXt2Vf+yrzJC5OYPGAms3SZ7CP58oxWzLayptPYtK79?= =?us-ascii?q?pCnIvuiVieCsZtJPRbmWS628XWdixTMUZHXCX4/vuMRKjUVEY2aDQKra?= =?us-ascii?q?ikhoEfD8O4lxqtOvy/rc/3tg=3D=3D?= Received: from mout.web.de ([212.227.15.14]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 Jan 2021 12:51:12 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1612007468; bh=uYiFN2qvlTbjWku7xrgkbk/nRlUe6zIwuE91oT4CqeQ=; h=X-UI-Sender-Class:To:References:Cc:From:Subject:Date:In-Reply-To; b=QtQyhQnh/vfSzoGxPk5+4NYWh2e3Jr1doeP7gUD33SLNUlAevFq5Lhxpy13pgwu82 fLWwwRAfcoaSDZoGCuRtsP3khNhRqBxsl88CR6DJ/NtyrtkcRdfLR9muJVNNTNBBGE JpanY7jcrwUcKRCcJTl75h+2ch2XA9cFLrC6z14o= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([78.48.167.222]) by smtp.web.de (mrweb003 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MPpD8-1l1zIX420g-0051Ju; Sat, 30 Jan 2021 12:51:08 +0100 To: Oliver Bandel References: <41485ac7-50cf-08fe-4206-b9f863c4d2f5@web.de> <20210124143420.443qexv5dvgtqpbm@first.in-berlin.de> <20210124161831.5w7y7n7ixjkfpirm@first.in-berlin.de> <56ea8f06-4f24-a2e4-ee8b-4443de993a36@web.de> <20210129211425.gqto6k3qz6g7kvkp@first.in-berlin.de> Cc: caml-list@inria.fr From: Markus Elfring Message-ID: Date: Sat, 30 Jan 2021 12:51:00 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0 MIME-Version: 1.0 In-Reply-To: <20210129211425.gqto6k3qz6g7kvkp@first.in-berlin.de> Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:5UJ3Wq/2e/bvfot+9AeSuaAMu9XO017JTDG1ENe3qYJwNlWUKdH oZDzjMAlmbUI2m8guSlOzO91+BocmsFTghIL67ZQhYTRj9Dv0fl2NmjMkfS17ukQFVJrCny 3rDmP49SVJo9tp+sBM8onoumW1UPu9r0NQ51e97k+smRK2l5VJlN8HRyOgAeCKuWxGMeXCU 1qNjbj8nTeDj4x6eSooXw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:SgTYpflnTos=:h976WcMmDpVpo8L6IYyau0 KPKGaSytW3ju8fxkd/1zvJ6iQp38TGBFBCo62fFaebabDDPo/BQ3V1AlePPuBuKhrZr8kEIj7 s0NK60LLNhKqswy/Q/avjx+/tqFLd+GShyt6kTAj38+9HMLwRQ6i8ts7hHU4ZfAbtcIaJ4iPf w9VWba6YXVPAo0we0VbmSpLtqV//W/sTd50ALFrl3zoUNHsKiCXbeY6UeeTJb8AU+cSMf0Dlq ir5NkIy3/dcbogXd9cfP5+2asj1yqUM4H0jckG8/P+sA8vKHepJGKh2vKGmlkWSZ3j34psZKV FCXZIk5yItMrFqorgsV0JrkCWmpsh4XRbr5llTryje0Sb697gl3BkxBv0u1hrHBKGoG+i8qlE WzNVHuOqI2n2Z1pXpGU/BHa6D/VmGWEq3WRmo5SpAZTmV/tQOgKdl1mG2mU3KjOutGt5C8veW jQ6SyxVt1kS0pE9ZUq8hT9e2VaDJIC6+7WvqS7eKieGprAVioBEAN7MOS6EYiiiXJLY+zUs9v JSKln9m82XTHEz60t9oJNPzu6SBkm41locovs9qU2BXoP1JfKUwvALJ4/QChkOxiucI/G9cgY JfghyHYm1Z1f6XW7yZstQ24j2ux/WagJN0rKI9Zr9Bzxq95NPeuKLZ2OirLbCr8uTg5+IP97F mq0yc5eULwqTH8iccQDQay8yabFLpUuRYQDSjLpjvqypdE+i5o9bhp2g6sKJvt9jXbG0fasqI wvG72z6ZA+q1tlxQHd/FnxoecPc+t3UlLsKD0xQUfY+8z7mYMsRYsRTpaRBfHNPLwlw+Tdoye CSal4TpzRS+x8aFMAifl2pBbJG3iEjOR8mbhiptNTAYCEh5YCsE6KRdfyjV+GQJgB14cEIcHl eKU1P+6V/HdVXt6UN90A== Subject: Re: [Caml-list] Error handling in FPLs (Re: Detecting missed checks for error indications in ML code) Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 18392 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: > What do you think about this here: > > Railway oriented programming: Error handling in functional languages by = Scott Wlaschin > https://vimeo.com/113707214 > > And about the "bind" here: > https://dev.realworldocaml.org/error-handling.html These links refer to helpful information. > Does that address what you are looking for? I am trying to increase the software development attention also for cross-= cutting concerns. Error-aware return types support the possibility to provide some data as a= return value. Under which circumstances would you actually check or overlook them? Exception objects can not be ignored (by default) instead. Regards, Markus