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 5869A5D5 for ; Sun, 24 Jan 2021 16:18:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="488751019" 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:18:39 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AD1D2E0148; Sun, 24 Jan 2021 17:18:39 +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 6687AE00A6 for ; Sun, 24 Jan 2021 17:18:34 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail-out.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3Ahmcy1xx5SMbbqKnXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2usXIJqq85mqBkHD//Il1AaPAdyKragdwLqJ++C4ACpcuMnH6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMn4duN6k9xxjLr3BVf+?= =?us-ascii?q?ha2X5kKUickhrh5Mq85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTyJPDIOi?= =?us-ascii?q?YYUSDOQBM+lXoJXgqFQMtha+GRWgCfnzxjNUmnP736s32PkhHwHc2wwgGsoDvm?= =?us-ascii?q?3QrNX0KqcdT/q1x7TVwDrZafNZxCny6IzVeR0mpvGMWbNwcdTPxkk1DA7FgFSQ?= =?us-ascii?q?qZb+PzOJzOgNsm6b4/N7Wu2xkW4nrwBxoj61ysgxlIbEn4QYwU3L+itl2og6P8?= =?us-ascii?q?G4SFJlbt6+FptdrzyWOotrTs88Q2xkpCk0xqAItJO/ciYHx5oqyRHfZfCbc4aF?= =?us-ascii?q?4R3tWumMLDl4mn9pZLayiguu/EW+xePyVtS43VRMoyFYnNfMsXUN2AbS6siBUv?= =?us-ascii?q?Z8/kCh2SuT1wDO8e5LP1o4mrbcK54kxLM7i5kdsVzbEyPohUn7jrWaelgg9+Wq?= =?us-ascii?q?8ejqYanqqoWCO4NpjAz1L74gldalAesiNwgDR2ib9vq41L3k5UD2XrRKjvs2kq?= =?us-ascii?q?neqpDaI90XpqujDA9U1oYv8hG/Dyq60NgCnHkHKktJdwmZgIjzP1HOIfb4Ae2i?= =?us-ascii?q?jFuyiDtrxvbGMaP9ApjVMHTPjbXscaxg50NYygc/19NS645OBr0fPf7/Qkrxu8?= =?us-ascii?q?bZDh89PQy02eHnCNBl24MZXWKPA7GZP73IsVKT6OIvIvOMZJQJuDrnKvgl4efi?= =?us-ascii?q?gmQnll8Heamp3J0XZGqlEft4O0mZe2bjgs8dEWcWuQozVPDlh0eHUT5XfnqyW6?= =?us-ascii?q?M85ionCI+9FofCRoWtgKSb0yuhH51WYHpGClGWHnvyeYWEQaREVCXHKcZklnkA?= =?us-ascii?q?VKO9Y44nzxCn8gHgmJR9Ke+B3SkZq5/5nPJ84eHekVlm8jh1EcmH+2+MVXpo2G?= =?us-ascii?q?IOAjU7xqR+pwpxxwHQguBDn/VEGIkLtLtyWQAgOMuElrAoO5XJQgvEO+yxZhO+?= =?us-ascii?q?WNz8WWM/T8gq35kPZQN3Fs+mjxaF0yf4W+ZIxYzOP4Q99+fn51a0J8t5zC2fhq?= =?us-ascii?q?QgiVkhWM0KMGSngut46hSVBoiMmUiDk6esM6gRjnaUpTWziFGWtUQdazZeFKDM?= =?us-ascii?q?XHQRfEzT94yr6ELYVKPoCLJiOAZbzc+EbKdHOIXk?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVAAADnQ1glxVQxdliHgEBCxIMQIRwV?= =?us-ascii?q?wEyL4RAiQSGPJ5bCwEDAQsBASMMBAEBhEoCgXgCHQYGNBMCEAEBBQEBAQIBAwM?= =?us-ascii?q?EARMBAQEBAQEBAQkWBoYRDII4IoMaBiNmCxoCJgICVxmDJgGCVQMyC7MsgTKFW?= =?us-ascii?q?YJEIk2BPgaBDiqNPiYbggCBR4I1Lj6CXQICF4ITgkyCYASDLxE/c5EoqQCBb4E?= =?us-ascii?q?SgR2aQw8igSOBdo97j2SxMYRDAgoHFoFtgXozGggcFDuCaVAZDY47g1eKWUADM?= =?us-ascii?q?DcCBgoBAQMJjBUBAQ?= X-IPAS-Result: =?us-ascii?q?A0DVAAADnQ1glxVQxdliHgEBCxIMQIRwVwEyL4RAiQSGPJ5?= =?us-ascii?q?bCwEDAQsBASMMBAEBhEoCgXgCHQYGNBMCEAEBBQEBAQIBAwMEARMBAQEBAQEBA?= =?us-ascii?q?QkWBoYRDII4IoMaBiNmCxoCJgICVxmDJgGCVQMyC7MsgTKFWYJEIk2BPgaBDiq?= =?us-ascii?q?NPiYbggCBR4I1Lj6CXQICF4ITgkyCYASDLxE/c5EoqQCBb4ESgR2aQw8igSOBd?= =?us-ascii?q?o97j2SxMYRDAgoHFoFtgXozGggcFDuCaVAZDY47g1eKWUADMDcCBgoBAQMJjBU?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.79,371,1602540000"; d="scan'208";a="370946535" X-MGA-submission: =?us-ascii?q?MDEfKrNcM/G3foXfr5+ef3OPXeCjjzHrU4cQEh?= =?us-ascii?q?YNjoN6Pkr4ws5LKCIdHGzuOP9m6eg90fINX5wKXdkia1QcaWKwmBvPUQ?= =?us-ascii?q?97+riSX4ktwS0MD7y/NthAsl6rJNRhVEY6cjAC2t38NFX9yWtA6ZjqBY?= =?us-ascii?q?Rle2udddoGXmrh74NMZooAPw=3D=3D?= Received: from einhorn-mail-out.in-berlin.de ([217.197.80.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2021 17:18:33 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id 10OGIWa8027356 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT) for ; Sun, 24 Jan 2021 17:18:32 +0100 Date: Sun, 24 Jan 2021 17:18:31 +0100 From: Oliver Bandel To: caml-list@inria.fr Message-ID: <20210124161831.5w7y7n7ixjkfpirm@first.in-berlin.de> References: <41485ac7-50cf-08fe-4206-b9f863c4d2f5@web.de> <20210124143420.443qexv5dvgtqpbm@first.in-berlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] Detecting missed checks for error indications in ML code Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 18382 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: Quoting Markus Elfring (snt: 2021-01-24 16:52 +0100 CET) (rcv: 2021-01-24 16:52 +0100 CET): > > But OCaml isn't just only a functional language. > > It's also a typed language. And the type system can help you at this point. > > You can use the option-type for indicating missing data. > > I am looking more for possibilities to avoid missed checks for return values > from some function calls. [...] Effective ML (a talk by Yaron Minsky) https://www.youtube.com/watch?v=-J8YyfrSwTk Ciao, Oliver