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 B754982355 for ; Wed, 24 Jan 2018 02:06:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=murthy.chet@gmail.com; spf=Pass smtp.mailfrom=murthy.chet@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of murthy.chet@gmail.com) identity=pra; client-ip=209.85.192.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of murthy.chet@gmail.com designates 209.85.192.174 as permitted sender) identity=mailfrom; client-ip=209.85.192.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="murthy.chet@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f174.google.com) identity=helo; client-ip=209.85.192.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="murthy.chet@gmail.com"; x-sender="postmaster@mail-pf0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4Y45hxV8qbRC7rd4AiGhrJIopPfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxKFt8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAIy8?= =?us-ascii?q?YYsBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4Et8QsH?= =?us-ascii?q?Tbssn1P7oVX+Co1qnI0TXDbvNL0jr67YjIbwohoe2MXbNwa8be1UkvGB3ZjliL?= =?us-ascii?q?pozlOima1uUJs2SB8+VgUuevhnchpgpsoTav3t8hhpfVio8R0FzJ9iV0zJwoKd?= =?us-ascii?q?C8VkJ3e8OoHZlfuiycKoB4WNktQ3tytyY/0rAGuYC0fCwNyJk/wh7Qcf2Hc4yR?= =?us-ascii?q?7hL7WuadPS50hHx4dL+9iBu+60egyur7Vsm71FZFsDBJncXLtnAIzxDT686HRe?= =?us-ascii?q?Vh/kq5xzqDywTe5vtHLE00j6bXNposzqAqmpYOs0nOETf6mEDsg6+XckUk9PKo?= =?us-ascii?q?6+PiYrj+o5+cKpV0ih3+MqUugMCwHeQ4PRYSX2WA9uS80afs/Uz9QLlQkvI2la?= =?us-ascii?q?zZvIjAJcsHvq65HxNV0oE75hmjFTim1dAYkWADLFJEYxKHk5PkO0rOIfD9Ffew?= =?us-ascii?q?mU6gkDZtx/DcP73uGI/BLnbZkOSpQbEoy0NaxBAyzph14JVRQuUBLfT/QE7ynM?= =?us-ascii?q?DfFhg4dRSzxP+hA9J4gNAwQ2WKV4SZPb+alEKS+uI+a72JeZUJuCe7IPgo+9bh?= =?us-ascii?q?iHY4nRkWeqz/jshfU2yxAvkzexbRWnHrmNpUVD5S5lNvHtyvs0WLVHtoX1j3Wq?= =?us-ascii?q?s94j8hD4f/VNXMQ4mshPqK2yLpR8QKNFADMUiFFDLTT6vBQ+0FMXvALcpokzhC?= =?us-ascii?q?Xr+kGdd4iEOe8TTiwr8iFdL6vy0VsZW5iopw7uzX0Ak8rXl6VpvBlW6KSG5wky?= =?us-ascii?q?UDQDpkhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CFBwDK2mdahq7AVdFeHQEBBQELAYUcJ?= =?us-ascii?q?weDVoE5l1CGA4YEj1AKhTsChG8HGQcENBQBAQEBAQEBAQEBARIBAQEICwsIKC9?= =?us-ascii?q?CEAGBZSQBgj0KBiMdARsdAQMMBgUDAQc3AgIiAREBBQEcBhOKHAEDFaZhQIwTg?= =?us-ascii?q?gUFARyDCwWDagoZJw1ZgiwBAQEBBgEBAQEBARoCBhKEOYIVhm2DLwSBO4NLgmU?= =?us-ascii?q?Fk0mQNZVddJMvlzwUBSCBFzaBcjMaI1IygXiCRR+CFCA3gh+LewEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CFBwDK2mdahq7AVdFeHQEBBQELAYUcJweDVoE5l1CGA4Y?= =?us-ascii?q?Ej1AKhTsChG8HGQcENBQBAQEBAQEBAQEBARIBAQEICwsIKC9CEAGBZSQBgj0KB?= =?us-ascii?q?iMdARsdAQMMBgUDAQc3AgIiAREBBQEcBhOKHAEDFaZhQIwTggUFARyDCwWDago?= =?us-ascii?q?ZJw1ZgiwBAQEBBgEBAQEBARoCBhKEOYIVhm2DLwSBO4NLgmUFk0mQNZVddJMvl?= =?us-ascii?q?zwUBSCBFzaBcjMaI1IygXiCRR+CFCA3gh+LewEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,404,1511823600"; d="scan'208,217";a="252255607" Received: from mail-pf0-f174.google.com ([209.85.192.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Jan 2018 02:06:51 +0100 Received: by mail-pf0-f174.google.com with SMTP id i66so1728142pfd.7 for ; Tue, 23 Jan 2018 17:06:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=bdSAwgigP8FjhFxjsborEkgxbGyqGwSl84ifYf6Uz4k=; b=CKeopgu9hbo5hxESgfrW1tbqqba3cv9dJsW26dUtmBp8eaJlT25Qfv7bC+Us5VxqqA 2hoevNz7nAY/d8ftfYDZDD4u34TPJGgD1pa7D5yaFTNGUw5mpd3VBIhHN71dfexgbH/c Y8cpeLIG4y9+7Lyhgxi0g8GcjPtNwSkXmPs/kPesbruFjnambHeuimMf911J/c1hIWmc b7U8Py2s3YU5zFH8A2nFwuNzcAwr+i8SBAkhvnSwpnjiUHLbup6n3MmB73CsYJ4Svbz6 Ijyasxi2xSxyilcjq/b3dbfFas6G4PgdeNANFw22YL33VwT2hrXD1aV4trudASvOMGML xrvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=bdSAwgigP8FjhFxjsborEkgxbGyqGwSl84ifYf6Uz4k=; b=Pu8a83yaREeUEjFZJi7OZfylrSZiiawfo/HqVI5FctlTdC0vG917Bip0XWN11ZzzWx m8kbH8dxOOEJO/gubq64phR6X12TyCE1DqsuRe8GYph2DpDncJi+xnBlIvnX5IjQLpyF E1mkZC9NcSqQBvteI38B3GnfN8+Hv33qpfJgHf/lsBZ//SUwUqhkAfVmC7y9inAv+x4w g4zXTcSwgQn3f1nx0yNt5puj+SM0Te+FpxGffqIx53YRXo7LJnvs9aUEUAh3AEcIlnwJ Q+31e3HOdkgkCC4QUb4X4BkNIphIeNpuJ5PyBYhhjrYqC9lx8upzEc+4BOiDJAWjPFjx +wHw== X-Gm-Message-State: AKwxytfhi/xQAzKjHyLbZS4TtZNSX/JDdmObB58JRnfAr7fZIdf78W1i no8zIceNgmJSFV0LtxmYzXDcaGStBF661w14N1U= X-Google-Smtp-Source: AH8x226BSC3YDMhkLccPX3vQ0fQH6NuknWw3Qurlx1MKG5vyZs91mifpXIrr+wrG8h4YOxDZbBMaFFtapX+GrIrwzKc= X-Received: by 2002:a17:902:2865:: with SMTP id e92-v6mr6008093plb.267.1516756009604; Tue, 23 Jan 2018 17:06:49 -0800 (PST) MIME-Version: 1.0 Received: by 10.100.163.169 with HTTP; Tue, 23 Jan 2018 17:06:49 -0800 (PST) In-Reply-To: <20180123231432.GA20089@topoi.pooq.com> References: <20180123145453.GA1916@Magus.localnet> <20180123231432.GA20089@topoi.pooq.com> From: Chet Murthy Date: Tue, 23 Jan 2018 17:06:49 -0800 Message-ID: To: Hendrik Boom Cc: caml-list Content-Type: multipart/alternative; boundary="00000000000029d86605637b475d" Subject: Re: [Caml-list] Are record types generative? --00000000000029d86605637b475d Content-Type: text/plain; charset="UTF-8" Of course, you are *always* free to add whatever type-annotations you wish to your program. But the program's correctness cannot be affected by them (well, again, for the archaic subset of ocaml extant in ... 1992). --chet-- On Tue, Jan 23, 2018 at 3: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.\ > --00000000000029d86605637b475d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Of course, you are *always* free to add whatever type-anno= tations you wish to your program.=C2=A0 But the program's correctness c= annot be affected by them (well, again, for the archaic subset of ocaml ext= ant in ... 1992).=C2=A0 --chet--

On Tue, Jan 23, 2018 at 3:14 PM, Hendrik Boom <he= ndrik@topoi.pooq.com> wrote:\
<= span class=3D"">
I'm starting to think that the ability to write OCaml programs w= ithout
mentioning the types is a drawback in the language, because it makes
programs hard to understand.\
--00000000000029d86605637b475d--