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 D555F5D5 for ; Sun, 24 Jan 2021 16:50:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="488754900" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jan 2021 17:50:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9B058E00C9; Sun, 24 Jan 2021 17:50:38 +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 99F60E00A6 for ; Sun, 24 Jan 2021 17:50:33 +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=3ANHesqRLvhfpQ8nKAQ9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfLfTxwZ3uMQTl6Ol3ixeRBMOHsqMC0bOd4vuoGTRZp8rY7zZaKN0EfiRGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6?= =?us-ascii?q?KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq80bjZF8JqosxRfEpnVFcP?= =?us-ascii?q?lSyW90OF6fhRnx6tqy8ZJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjD?= =?us-ascii?q?TQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnli?= =?us-ascii?q?EKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAZt4RW3ZPUdhNWCxAGoO8?= =?us-ascii?q?bpUAD+wdPeZDsoLxo0ICoQaiCQWwAe/izCJDiH3r0q0gy+kvDw/G0gw9EdwNvn?= =?us-ascii?q?rbotr6O6UOXu6616TI0SzDYulK1Tvh5oXFcBYsquyMU7JqdsrRzFEiGQTfgVWK?= =?us-ascii?q?qozlIiiV3fkCvWif4epgT+Ovi2goqwpspTWhwd0jipPKhoII0VDI7yp3wII7Jd?= =?us-ascii?q?2iSU57Z9GkHYBeti6ELIR6WN4tTH9xtSs817YJtoK1cjIQx5Q72x7QdeaHc46Q?= =?us-ascii?q?7xzjVOidPCp0iXZmdbyxhxu//latx+7+W8S2zVpGsiVIn9bQu30MyRHe69WLRu?= =?us-ascii?q?dj8kq91zuB1xzf5/9YLU00iKbWLYMqzLA3lpoWq0vDHyn2lV32ja+Ra0Uk5vWo?= =?us-ascii?q?5P/5bbn8upCcMIp0hhn9MqswnsywH/84MggQUGiF4+izyLrj/Uj/Tb5XjfM2ir?= =?us-ascii?q?HUvI7HKcgFvKK1HRFZ34Q55xqiDTqqyskUkWQfIF9Bdh+LlZXlNl/ALfziEPuy?= =?us-ascii?q?gVShnC1oyv3COLDqH4/DIWLZkLj7eLZw805cxxQ3zdBY/59UD7YBIO/vWkPrut?= =?us-ascii?q?3XEAQ2PxapzOn5ENl914UeVnyTAqKBLq/erEGE6vgxL+WSZoIZoivxJvo/6/Lz?= =?us-ascii?q?kHM1gVodcrOo3ZsTZnC4BPNmI0CBbHTrmNgBC2QKvhclTODwh1OCVTBTZ2yzX6?= =?us-ascii?q?I66TE2E4ynApnYSYy3nbOOwj+3HodKaWBeFlCMDXDoep2YVPgWbSKSJtZtkjgF?= =?us-ascii?q?Vbi6V48szgqutQ//y7p/NOXY4CwYtZT51Nh0/eLfjx8y9SYnR/iahkaJTn95hC?= =?us-ascii?q?siTjk60aQ39Ut5y0mOy4B2guZDCZpS4bZDXx0+NJiaw+EsWP7oXQeUW96TS0u9?= =?us-ascii?q?CviiDyswSN15l/oHeUVgAJOPih7Z3iylK6AYnfqHCcpnoernw3HtKpMlmD7936?= =?us-ascii?q?47ggxjG5MXbDz0tutE7wHWQrXxvQCcnqeue74b2X6f62qJi2aD7hgBDFxAFJ7d?= =?us-ascii?q?VHVaXXP46Mzj7xOQULKkT7gqYFMYlJyyb5BSY9istm1oAffuPNOHODC0nHqsQw?= =?us-ascii?q?mFzPWAYdiydg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BnBADfow1ghwsR49RiHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFPgwwVWDIvhECRKjCDfYxai2oLAQMBDSMJAQIEAQGBVYJ1AoF4Ah0HAQQ?= =?us-ascii?q?0EwIQAQEFAQEBAgEDAwQBEwEBAQwNCQgbDoVoDII4KQGDEgEEASMdAQERJgEPC?= =?us-ascii?q?xoCJgICVwYNCAEBgyIBglQBAw4kC7MTgTKDBQEBBoJMgX4fLCJNgTsDBoEOKo0?= =?us-ascii?q?+Jg+BTT+BOIJELj6CXQICF4FGgxmCYIMzET9zkSioVCwHgWiBEoEdC4gIkjMFC?= =?us-ascii?q?h+DGY9uDQaPXp89lmCBbYF6MxokT4JpUBkNjiEag1cziiZAMzcCBgEJAQEDCVk?= =?us-ascii?q?BAYs6AQE?= X-IPAS-Result: =?us-ascii?q?A0BnBADfow1ghwsR49RiHQEBAQEJARIBBQUBQIFPgwwVWDI?= =?us-ascii?q?vhECRKjCDfYxai2oLAQMBDSMJAQIEAQGBVYJ1AoF4Ah0HAQQ0EwIQAQEFAQEBA?= =?us-ascii?q?gEDAwQBEwEBAQwNCQgbDoVoDII4KQGDEgEEASMdAQERJgEPCxoCJgICVwYNCAE?= =?us-ascii?q?BgyIBglQBAw4kC7MTgTKDBQEBBoJMgX4fLCJNgTsDBoEOKo0+Jg+BTT+BOIJEL?= =?us-ascii?q?j6CXQICF4FGgxmCYIMzET9zkSioVCwHgWiBEoEdC4gIkjMFCh+DGY9uDQaPXp8?= =?us-ascii?q?9lmCBbYF6MxokT4JpUBkNjiEag1cziiZAMzcCBgEJAQEDCVkBAYs6AQE?= X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="370947711" X-MGA-submission: =?us-ascii?q?MDHNKoC7JEOcxexuysyp8K28ZB53y9V1su09lU?= =?us-ascii?q?Pf65qjEDkdilyYfFnmtZ5DFHi+/PvuqPMyveQg/ZqnruoOXAVq9gPhJb?= =?us-ascii?q?X+IqK5mdNjqQYpS7A8LanNbTxF9cy2pcBCgFXTgJeyFJWV7KxrUrmKrS?= =?us-ascii?q?DSjQ0UKJUIc0r6x5wU1xvj2Q=3D=3D?= Received: from mout.web.de ([212.227.17.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2021 17:50:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1611507028; bh=3y0zYD/yUlWnM6DElN3YZrvTOglYlFRLAYtG4xCPWik=; h=X-UI-Sender-Class:To:References:Cc:From:Subject:Date:In-Reply-To; b=gSHWuIEwsqgTnHB1JUL6yOO2xShPRybLOWWnQVS1Daz+hBcgnEpGKlSUF/ux+Osjy HpSnILCtIDb6HIMQ1aP1J0zLeuh7D8b+ezrOMZ43Wy/8efQJR+56t0VH+BYFDeunZh vi3+WccejjitU6fw1+KeXIi/YfaFUu/JhO3blsBs= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.133.175.89]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LxOHm-1m5zOo1PZa-016t64; Sun, 24 Jan 2021 17:50:28 +0100 To: Oliver Bandel References: <41485ac7-50cf-08fe-4206-b9f863c4d2f5@web.de> <20210124143420.443qexv5dvgtqpbm@first.in-berlin.de> <20210124161831.5w7y7n7ixjkfpirm@first.in-berlin.de> Cc: caml-list@inria.fr From: Markus Elfring Message-ID: <56ea8f06-4f24-a2e4-ee8b-4443de993a36@web.de> Date: Sun, 24 Jan 2021 17:50:17 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.6.0 MIME-Version: 1.0 In-Reply-To: <20210124161831.5w7y7n7ixjkfpirm@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:25zQgvMSZ7Qf5RIgxD5Js1roXuYhdeplGgJd9emMP6jZqlCzebs w0T6sdFBee0Jssk684hn3vv5JVM3+vpjd4ppt+qQRAP56boIRSAFvXyNbm+lyb123mWsKLA dBJZ4Rvb+QJF6qz+hVaTmVYloCqzlBOCHE4A1pyjbNbNnNa3gLB0fvqbhXRMox0tpy5UiNJ T0Cj3lS/6ltfGFjL3JHRg== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:yYl7YOPtGn4=:SCieB7Fjzcd97UsBsNNQa/ pexQ7fykQl+7lmXoGmxB/c8B4QHUOFfd7yksWG7GwhzEIhj8znuU/gW4h+ecWgPp5es8EWcXe ixMdNzaFxR90xY9AI8b+6Wk7v8B+CC0sAdr2fnAP+WpaJKmJYRMjKaFGfo9O4o7ZKPXRm1zxT jwKzjxjUBHc6Mynqn6awviRovZueQgLSegtoJd0LgQJkCBHXUuCi5pEjpDWPEzJv308P91Mf2 taeAHXWBUZOvkqv2dGMI/yKPo7tk1V0IsmblkEsj3EdMCznDuxIJ7HJDkZ0tmsGA3audYbdbu BaKayWQBvGj3CVyWoGCD+z6oAVsMX0oO6D8hrmYiF4vEnNVDoLEay6swqFVU6EfE7XQYkgQ43 4SPTwmCvbsKIk1jq95K/iaoz09jKv5+BDPOXn/lK/PFWy/l64kku8PDgD30sQS8l1t3KNuoUb E96dry/rR/UvBy3J+GjWFTEwDxD9ehfevXS1ficnZ5jPB0fn6h6/YMbTbof5yw6oLv2QpJtBH 6WYU7nGJd/HL5+q/dxZXWy4voIN4Q1wtHACEBc5s+hLp91ANBIaFE0SNy9zTqNzFX7ZNGmH34 /fv3S2xGmqjEAdTUgIYAVi2GTybxlGNmF/f+bQR9+bbSPKDDtd4hu61Kqg11eDbUOz2X8X2Z6 4+BxW4JdKD+NJkvip5ggDn4IMB1ONi44q743hE91VL4HR1lXdeIsc+vPSYTO7h6hy629asbl0 NovoD/7uqxnHko9b6miPMCbH/3B7+EAlFckwa6wpgXA4lZBLvo+0zuOvJur4U7R1mbA5bfWh0 hJVPMsFsaUMpMawDuIgM2GVSGhAQjuX3hLz/cWorAeTmNq1tR0RO75W4mY4GKYYn94fZ8r/Ta 2ZGzmdjQcdg6gbu0E3qA== Subject: Re: [Caml-list] Detecting missed checks for error indications in ML code Reply-To: Markus Elfring X-Loop: caml-list@inria.fr X-Sequence: 18385 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: >> I am looking more for possibilities to avoid missed checks for return v= alues >> from some function calls. > [...] > > Effective ML (a talk by Yaron Minsky) > https://www.youtube.com/watch?v=3D-J8YyfrSwTk How do you think about to extend the software evolution another bit also according to information from an article like =E2=80=9CComposable Error Ha= ndling in OCaml=E2=80=9D by Vladimir Keleshev (from 2018-02-12)? https://keleshev.com/composable-error-handling-in-ocaml Regards, Markus