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 14C905D5 for ; Sun, 24 Jan 2021 16:22:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="488751950" 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:22:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 302CBE00F7; Sun, 24 Jan 2021 17:22:12 +0100 (CET) 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 7952FE00A6 for ; Sun, 24 Jan 2021 17:22:08 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3A1zdUmh1HBvc3iTJDsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMQIvad9pjvdHbS+e9qxAeQG9mCurQe0qGG7OigATVGvc/e9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMssQam5VuJrs+xhbKoHZDZu?= =?us-ascii?q?BayX91KV6JkBvw+8W98IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7GcNgEWWROQNpeVy1ZAoO9?= =?us-ascii?q?cYQPCfYBPf1FpIX5vlcCsAeyCRWpCO7p1zRGhGL53bci3uo/HwHI3BEuEdEAvn?= =?us-ascii?q?vao9r6NrsdX++uwanU1DXOde9a1Svz5YXKdB0qvPGCXah3ccrU0UQhEBnKjk+T?= =?us-ascii?q?qYz4JDOey+sDs2yV7+p6VOKvjWEnoBx2rzao3MgskIrJhp8Oylze+it5xIg1Jc?= =?us-ascii?q?e5SE59bt6pC5VRuD+BOIdsX8wtXXhltSAnwbIJpZC1ZjIFyIg7xxHBcfyHdZCF?= =?us-ascii?q?7w7+WOuNPzp1gGxodrKjihuy8EWtyO/xWMm73VtOoCRLnMXAu3IN2RHN5MaKSu?= =?us-ascii?q?Vw80m91DuO1Q3e5fxJLFwomafdNpUvzLkwlp8JvkTCGC/7gED2jK6KdkU+5Oek?= =?us-ascii?q?8ePnYq/pppOEMI97lhvxMqEqmsClBuQ4KAcOUm6G8uq/zL3u5VP1TKhIg/EskK?= =?us-ascii?q?TVrorWKdkfq6KnGQNY0IUu5w67AjqoytgUgHcKIVxfdB6ajYXkO0vCLfP8APq5?= =?us-ascii?q?nl+iii1kx+rcMb3kGpjNLmbMkLPmfbtl7k5czxczzcxF65NaFL4OO+j/VVLvu9?= =?us-ascii?q?DADx85NRK7w/r/Bdljy48TW3iDD62HPK/IrFOF4vwjL/OOaYIWoDr9LuIq5//q?= =?us-ascii?q?jX83g18deqyp0IMQZn+iBPRmIFiZYWH2jtkOFWcKsBA+TO3siF2NSjNSaWi9UL?= =?us-ascii?q?km6j4mFo2qFZ3DSZy1gLydwCe7GYVbaXxcBVCJFXfkboGEW/YXaCKOOcJhiTwF?= =?us-ascii?q?Vb25S4A7zx2utQn6y6BmLuXO4CEYu4jjh5BJ4Lj0kRAs+CY8Jc2b32yJBzVzmm?= =?us-ascii?q?IWSiUe0qFlulA7y1HG26Vih/1eU9BesaBnSAA/YLvV1e9nEJjfXgzbf9GGAAKD?= =?us-ascii?q?S8+lHCp3Y9Y/2d4IbG5iFt/kgh2VjHniOKMci7HeXM98yanbxXWkYp8lky+bhp?= =?us-ascii?q?lktEEvR450DUPjhqN78FGIVYvOjlnfiKugM6gRjnaUqDWziFGWtUQdazZeFL3f?= =?us-ascii?q?VCBNeUbc69j0tBubHu2eTI8/Ow4E8vasb65Da9nnl1JDFKX8Nd6Yb2/jwmo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DNAwCtnQ1gh07ASNligQmEWxVYMi+EQ?= =?us-ascii?q?JEqCCUDg32MWotqCwEDAQ0lBwECBAEBgVWCMUQCgXgCHQcBBDQTAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQEBDA0JCCmFaAyCOCkBgxIBBAEjHQEBESYBDwsaAiYCAlcGDQgBA?= =?us-ascii?q?YMiAYJUAQMOJAuzLYEygwUBAQaBMwGBGIF5HywiTYE7AwaBDiqNPiYPgU0/gTg?= =?us-ascii?q?MgjguPoJdAwGBXYMZgmCDRD0Cc1AZgRaPKZdBkRMsB4FogRKBHQuICJIzBQofk?= =?us-ascii?q?wcNBo9enz2WYIFtgXozGiRPgmlQGQ2NRXaECoRhhUVAMwI1AgYBCQEBAwlZAQG?= =?us-ascii?q?LOgEB?= X-IPAS-Result: =?us-ascii?q?A0DNAwCtnQ1gh07ASNligQmEWxVYMi+EQJEqCCUDg32MWot?= =?us-ascii?q?qCwEDAQ0lBwECBAEBgVWCMUQCgXgCHQcBBDQTAhABAQUBAQECAQMDBAETAQEBD?= =?us-ascii?q?A0JCCmFaAyCOCkBgxIBBAEjHQEBESYBDwsaAiYCAlcGDQgBAYMiAYJUAQMOJAu?= =?us-ascii?q?zLYEygwUBAQaBMwGBGIF5HywiTYE7AwaBDiqNPiYPgU0/gTgMgjguPoJdAwGBX?= =?us-ascii?q?YMZgmCDRD0Cc1AZgRaPKZdBkRMsB4FogRKBHQuICJIzBQofkwcNBo9enz2WYIF?= =?us-ascii?q?tgXozGiRPgmlQGQ2NRXaECoRhhUVAMwI1AgYBCQEBAwlZAQGLOgEB?= X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="488751903" X-MGA-submission: =?us-ascii?q?MDHC8qrH48jwieYRRzkYbRPzv9pJrdB2fFmBVh?= =?us-ascii?q?GH8iP6DzDArWIQJEaByqUASOuPF2QYjgHFgGm8G+DvUSQibzbeOZYEeq?= =?us-ascii?q?T8T2fcWkw3ozqM3HMF7Dfj6/wWJMSYbi7TQbmI0SWubjzg8+jhavHWki?= =?us-ascii?q?07+Mcmeyl4I05PE0QnvDrPfw=3D=3D?= Received: from mout.web.de ([217.72.192.78]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2021 17:22:03 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1611505319; bh=du7STlt34hkNM+yA15/wwbhqFPSPbFQgXx8/WyunoTc=; h=X-UI-Sender-Class:To:References:Cc:From:Subject:Date:In-Reply-To; b=nHgiagTltNtfsjM5xSxN/rubKZIcdU2GgSJ3rNE6PDDDnGr9ZYntteQVJpDZwUWyO /Fux7KfDoXPzf/hC5SMJ7x72DDDgXk78UFToho065xDwSl4ql93B6IjUfL0ik+FpdO 1hqLN/BRru1iUD+gtpPTH4Zb++jCmg1lC4+mvDCY= 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 0Lheqz-1lpiHG1xFh-00mrWR; Sun, 24 Jan 2021 17:21:59 +0100 To: Oliver Bandel References: <41485ac7-50cf-08fe-4206-b9f863c4d2f5@web.de> <20210124143420.443qexv5dvgtqpbm@first.in-berlin.de> <20210124160729.iybuih6mmaquulcw@first.in-berlin.de> Cc: caml-list@inria.fr From: Markus Elfring Message-ID: Date: Sun, 24 Jan 2021 17:21:58 +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: <20210124160729.iybuih6mmaquulcw@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:Shw0Gn0Erp8DkMwiZHy57Mq8dfcAJn35Wjbwedc2nkNlbh6zkMz 60CAWIpV1OkeQg3O0VbwGrPxxRVEMAoXiW+E8HBqCjxe+H4QSGkfKYmdse8walHt6lcqtqj d0/9J3RYFff55YEOn6li3YdHMeFqqXqUseG3GuoY9N2kt8bm2dP063OPnd3zSAh8oVdjFc1 KI9clyGMydHAesAW16W1g== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:eMRFDuEBz/c=:Ax8TBT7kt823qy5y3h0R30 iDJGagmUJ/ccnxs+sUfLBErsIUR/cw/cXbEVqiYGtCAGz/ZD9EZgyJYW45rfq8c0rg5nr3k3+ iXGHN9mfLVYtXy0/gUHucLGL3CNCP/DrnyKPdUNcE4y/S9GnqaQZsge0fS9r/+M/aU1xdSG6U HN42tGHz5JIqDYC2oXtFgfQvyVio5VYYRZws9F9NgsOB4/C6MNd7lz+ZCVE8eUOadMiKhIcjo eNeTkQKtvFwofYxplR7IMPMs80fR5FtowqJKvrh9ZrXabe+C/5hIG1EP5OR49wJ7KiNg+Fo4x IH6dRzfuK7A1lnmLTiqqRPZ0BjmWzrwPO4CnyPTYeXdh4jusKo4aJ5nF6FX2Wzv92fY0u5zes 5msqMD2XBq5InJeMLru7fJb+AKD6j361dKBj8ijAkztXG3KEaAaobqgZTbjced+KLqw+9iQDZ KcEikVGb1AEb5E9hsnPPdx/wjZYDb4/quEIrhDIDh+uj92WlcXSzADer9I5w5Lk5nU4ExM2jZ 5oBcmF91Qjc8gzvxuo/GQ32ee4Zh2GCAWxq0o3CZLX4KWLm7/Rnrab8+5LvZ3SmNSZa6dRWBp SaLHtEw2Oxx7QqhIPG0zMjr4ZMcMu34E3N6PddbFX5YNMJt40BQhlX8374WAFa27HrRVou03j OafK8o2paoEN4Jfn2+vFrHmVp1zgkIcN+8mH8cQqLIctlrr+ODC4zI1gt+GMjEZZ/AA1D7cHs iQTXHwTGWCTz+9bTyfoASQZyk42C6DdjSjmNqLEWXoY9ioc4C1jEbRZnktQGv5wXXigEnv+pA mtd1W8GXb6kV0NIZxcfy4JACaW0ncHAIQf1V4MQgBSzmCIX68E+5vPbWaUVPFQtirTi0WZ6X6 Ti+LwGnwjwVkFFqUAv3g== 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: 18384 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. > > I'm not sure what your problem is, which you want to solve. > Do you want to improve your programming (aka "coding") style? > Or do you have to deal with some code written by other people > and you fear that it's not using the type system to avoid the > problem of unclear (in the sense of "real value" vs. "error indicating > value") return values? Both. Are you used to programming concerns according to software weaknesses like =E2=80=9CCWE-252: Unchecked Return Value=E2=80=9D? https://cwe.mitre.org/data/definitions/252.html >>> Since a while OCaml also offers a result-type, which you can use. >> >> Do any programming interfaces need still to work without this special d= ata type? > > ? Don't understand your question. Do you get further development ideas from another API example? https://ocaml.org/releases/4.11/htmlman/libref/UnixLabels.html#VALsystem Regards, Markus