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 C091E823B6 for ; Thu, 25 Jan 2018 11:49:32 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of mail@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=mailfrom; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of postmaster@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=helo; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="postmaster@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AwwfeZhZ8XJ1hg4nTK5BBCwX/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM25bnLW6fgltlLVR4KTs6sC17KP9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCagbb9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAk7m/XhMx+gqFVrh2vqBNwwZLbbo6OOfpifa7QZ88WSXZPU8tTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWqJPyp0cQohu8GAKiAeTvyTBWgX/1wKY31OEhHhvH3AwkBN8OtW?= =?us-ascii?q?7brMnrO6cQSOy1z67IzS7Cb/NVwzv97pbHcgw4rPyKQLl+ctLRxFEyGw7Kjlic?= =?us-ascii?q?s5LpMj2R2+gXsGWW4fBsWf+zh2Mnsw18pjiiyt0xhoXViI8Z0E3I+CF3zYovON?= =?us-ascii?q?G0VUh2asO+HpRKrSGVLY52T9siQ252vCY6zaULuZuhcygW1psnxQfTa/+Ac4iT?= =?us-ascii?q?4xLjV/ydITFmi3J5YL6/hhCy/la8yuDkS8W531ZHojBbntTCsn0BzR/e58adRv?= =?us-ascii?q?dg4kus2S6D1wXJ5eFFJUA0m7DbK5kkwrMok5ocq0XDHivtlUXzlqCWalsr+uqx?= =?us-ascii?q?5+TkZbXmvZ6cN4xuhgH4LKsuhtSzAf4kPQgWQ2ib5eO82aX/8kLjRbVKiuQ6kq?= =?us-ascii?q?3YsJDBOcQWvbW5Ag9Q0oY78RmzFTam0NICnXkGNl1JYhyHj5K6c23JdfvxCPP6?= =?us-ascii?q?h1W3jB9qwerHN/vvGMbjNH/GxZLoYbt/o21bOo8whYRa7pNQIrQIPP/xH0z2r9?= =?us-ascii?q?3bSBk0L1rnkK7cFNxh29ZGCiq0CaiDPfaK6A7a1qcUO+CJIbQtlnP4Ivkh6eTp?= =?us-ascii?q?iCZmy1oUYaSrmJgQc3G7WPJrPxfCOCa+spI6CW4P+zEGYqnyklTbDmxWbmq/Xe?= =?us-ascii?q?c/4So6C8SgAJuRHtnw0ozE5z+yG9htXk4DCl2IFi63JYCNR/oOLSGVOc5i1DoJ?= =?us-ascii?q?Ser6Rg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AdDwBTtWla/2lT75FdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYNCaXEng12LGI92mVqFRQKEUR0IBTATAQEBAQEBAQEBAQFqKII4IoJKAQU?= =?us-ascii?q?jDwFWCxgCAiMDAgJGERMGAgEBijW1E4IniF2CATKBD4NCgmmDFIMFgy8EgTuBA?= =?us-ascii?q?IJLgmUFpAqiDYd6mRY3ISWBK3sKPYIqhFh3jlIBAQE?= X-IPAS-Result: =?us-ascii?q?A0AdDwBTtWla/2lT75FdGwEBAQEDAQEBCQEBAYNCaXEng12?= =?us-ascii?q?LGI92mVqFRQKEUR0IBTATAQEBAQEBAQEBAQFqKII4IoJKAQUjDwFWCxgCAiMDA?= =?us-ascii?q?gJGERMGAgEBijW1E4IniF2CATKBD4NCgmmDFIMFgy8EgTuBAIJLgmUFpAqiDYd?= =?us-ascii?q?6mRY3ISWBK3sKPYIqhFh3jlIBAQE?= X-IronPort-AV: E=Sophos;i="5.46,411,1511823600"; d="scan'208";a="252441242" Received: from 105.ip-145-239-83.eu (HELO matej-kosik.net) ([145.239.83.105]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Jan 2018 11:49:32 +0100 Received: from [192.168.1.11] (bband-dyn11.95-103-193.t-com.sk [95.103.193.11]) by matej-kosik.net (Postfix) with ESMTPSA id 05C1A23946 for ; Thu, 25 Jan 2018 11:49:30 +0100 (CET) To: caml-list@inria.fr References: <20180123145453.GA1916@Magus.localnet> <20180123231432.GA20089@topoi.pooq.com> From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649; url=http://matej-kosik.net/doc/kosik.asc Message-ID: Date: Thu, 25 Jan 2018 11:49:29 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.5.2 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Are record types generative? Hi On 01/24/18 02:56, Yawar Amin wrote: > Hi, > > On Tue, Jan 23, 2018 at 6:14 PM, Hendrik Boom > wrote: > > I'm starting to think that the ability to write OCaml programs without > mentioning the types is a drawback in the language, because it makes > programs hard to understand. > > >  It's a tooling issue. It very much depends on what you (honestly) care about. If you do not care about readability of the programs you write, then it is "tooling issue" (like in "Use Merlin bro!") If you care about readability, then ephemeral Merlin (or whatever) tooltips are not exactly the same stuff as type information that is directly, permanently, unconditionally present in the source code. >From the reader's point of view, it is not the same thing, really. In addition to that, when one uses polymorphic variants heavily, the presence or absence of typing annotations makes a drastic impact on the ability of typing errors the compiler can generate. >From the programmer's point of view (who has to deal with typing errors when they happen), it is not the same thing, really.