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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BAEF282355 for ; Wed, 24 Jan 2018 00:14:35 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ais5U8hKy+8ypkjGxadmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKvTxwZ3uMQTl6Ol3ixeRBMOHs6sC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffxhEiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?kHOTAn7W/ZicJwg61Hrx28pRNwzZXZYJ2JOPdkYq/RYckXSXRHU81MVyJBGIS8?= =?us-ascii?q?b44XAuQDI+lYqZTyp0EPrRu9GAKhGeTvyjhNhnTr2qA60/ouEQfb0ww6HtIOs2?= =?us-ascii?q?/ZrMnyNKcKVuC1zbPEzS3Eb/NRwDfx8pTHchckofyVW797bMnfyVE3Gg7Eilic?= =?us-ascii?q?s5HpMjKV2+gXrmSW4fdsWfiyh2MppAx8pCWkyN02hYnTnI0Vz0jJ9SVnz4YxIt?= =?us-ascii?q?21UFR0Yca+EJtRsyGWLZd2QsQ6Q2FvuSY20KUGuZm8fCgT0pgo2xnfa/mff4iJ?= =?us-ascii?q?5BLsSvqRLC95iX9hYr6zmhe//Ei6xuHhWMS4zUxGojdLn9TDrnwN0gbc6smDSv?= =?us-ascii?q?tz5Eeh3jOP2hjT6u5aJ0A7iLDbK58iwrMripoTtlzDHij3mEnslK+WcUIk+vGy?= =?us-ascii?q?5+v7ZbXmo4eQN5VohQHmLqQuhsu/DPwkPQcUWmib/f2w1Lni/U3iXLVHleY2k6?= =?us-ascii?q?ncsJDCP8sXvK+5AwlP0oYi8RmzFTmm0M5L1UUAeVlMfRbCi4nyJ3nPJur5BLGx?= =?us-ascii?q?mQeCijBuktDLOLH7A5aFBH/Elf+1fbt751RdyyIvyshY5tRMDbYYZvn0Xxmi55?= =?us-ascii?q?TjEhYlPlnskK7cA9Jn29ZGADPdMuqiKKrX9GSwyKcqKuiIapUSvW+jeeQi//nv?= =?us-ascii?q?y2c+nkZbdq6sj8NONCKIW89+KkDcWkLCx88bGD5U7BY5VOvrzkWFVicVbHG3Df?= =?us-ascii?q?plu2MLTbm+BIKGfbiDxbyM2CDhRM9ffnpHDhaQFm/vdsOcXPAVLimVJ505nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DoAQCuwGda/4aDpUVeGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYUcgzqLYo9zmVWFRQKFDwYFNBQBAQEBAQEBAQEBAWoogjgigkoBBTp?= =?us-ascii?q?PCxgJJQ8FGIp5tXCKVQEBCAImhEuJAoRugQCCfII0BZNJkDWVUA11gQ2SIZkMN?= =?us-ascii?q?iKBUDMaCBsVPYIrhHQjjlEBAQE?= X-IPAS-Result: =?us-ascii?q?A0DoAQCuwGda/4aDpUVeGgEBAQEBAgEBAQEIAQEBAYUcgzq?= =?us-ascii?q?LYo9zmVWFRQKFDwYFNBQBAQEBAQEBAQEBAWoogjgigkoBBTpPCxgJJQ8FGIp5t?= =?us-ascii?q?XCKVQEBCAImhEuJAoRugQCCfII0BZNJkDWVUA11gQ2SIZkMNiKBUDMaCBsVPYI?= =?us-ascii?q?rhHQjjlEBAQE?= X-IronPort-AV: E=Sophos;i="5.46,403,1511823600"; d="scan'208";a="310369134" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jan 2018 00:14:34 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 7AADEC00C7; Tue, 23 Jan 2018 18:14:32 -0500 (EST) Date: Tue, 23 Jan 2018 18:14:32 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20180123231432.GA20089@topoi.pooq.com> References: <20180123145453.GA1916@Magus.localnet> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] Are record types generative? On Tue, Jan 23, 2018 at 10:06:55PM +0000, Jeremy Yallop wrote: > > In any case, whether annotations can be erased without affecting type > correctness is an interesting property to consider. Here's a closely > related property that's much harder to break: does adding annotations > leave the run-time behaviour of a program unchanged? There are far > fewer programs that violate that property, I think. 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. -- hendrik