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 49A1C82355 for ; Thu, 25 Jan 2018 14:39:44 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Pass smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of simon.cruanes.2007@m4x.org designates 129.104.30.34 as permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=CCWE=EU=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ACGC7yBfeOGlVuyXblxtLk5XVlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS+bB7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM3/m/Yhc5+jK1UvB2vqAFxzZDUbo+WL/dxZKHQfdYASGZdRMtcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZT8p1sLqhu+AxSnCf31yj9VnHD227M10/88GgzBxwwgHtcOsH?= =?us-ascii?q?PSrNnvKKgSS/21w7POzTrddPNawynx5JTUfh0juvyMWL19cMXLxUkoDQPFgUyd?= =?us-ascii?q?pIr4ND2WzuQAq3WX4/RkWO61lmIrtw58riKhy8swkIXEiI0YxkjG+Cll2oo5OM?= =?us-ascii?q?C0RFBhbdK6Cpdcqi6XOohwT8g/WW9nojw6xacDuZOjfCgF1pAnxxnHZvyCfImE?= =?us-ascii?q?/wjvVP6WITd8hHNlZKywiAqy8Uimy+38T9S030hQoipCiNnMuWgB1x3V6seZVv?= =?us-ascii?q?tw5lqt1SiL2gzJ9+1IPU85mbDVJpI92LI9mJUevVzGHiDsmUX2iKGWdl8j+uit?= =?us-ascii?q?8+npf6noqIKAO4JslAzzLKQhlMOnDOo3PAcDR22b9Ouz1bH5+k35WrpKg+Utkq?= =?us-ascii?q?nYtZDaIsIbqrSlDA9Pz4Ys8RC/ACm90NgCg3ULME5JdRCcgofyPFHOPfb4Auuh?= =?us-ascii?q?jFS3ijtrwv/LP7L7DpXKNHjDn6/tfaxh5E5E1Aoz0ddf6opIBb4bJfLzXlb9tN?= =?us-ascii?q?jZDh8iLwy52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJVG8Ar6ft0s+/Ps?= =?us-ascii?q?ulw+a9oeNf2s1JoTQHWxAvlkZkaeenvvxNEMDTFOtQM7SKnuiUaeeT9VfXe7Ga?= =?us-ascii?q?wmtR8hD4fzNobGQYblq6ac1SG2BdUCfWFDDVbKGm31foOJQLFWMHrNCso9gnoD?= =?us-ascii?q?T7f3GNxp7g2nqAKvk+kvFeHT4CBN7cuyhugw3PXakFQJzRIxCs2c12+XSGQtwT?= =?us-ascii?q?ECQCIw161k50kh2hGEy6cq2qUER+wW3OtAV0IBDbCZ1/ZzWoL3BhKHec2GGg//?= =?us-ascii?q?H4eWRAopR9d0+OcgJkZwH9L41ULGz3PsG7gRhqCGD5wy87vB0j72Pckvkns=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AqBQAP3WlahyIeaIFdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQrcYQEmQuBW48BDIp+hTEKghgaBgUzFAEBAQEBAQEBAQEBEgEBAQoLCQg?= =?us-ascii?q?oL4I4IoJACgYjZgsDAQI8AgJXBgGKRwW0RoInilcLAQEBASOEUYIVg2gMgnmFI?= =?us-ascii?q?oMXMYI0AQSBLQEBAZIekDIIAQGXZIoph3qXWoE8NoFyMxowRSoBWYEnhHWPKwE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0AqBQAP3WlahyIeaIFdGwEBAQEDAQEBCQEBAYQrcYQEmQu?= =?us-ascii?q?BW48BDIp+hTEKghgaBgUzFAEBAQEBAQEBAQEBEgEBAQoLCQgoL4I4IoJACgYjZ?= =?us-ascii?q?gsDAQI8AgJXBgGKRwW0RoInilcLAQEBASOEUYIVg2gMgnmFIoMXMYI0AQSBLQE?= =?us-ascii?q?BAZIekDIIAQGXZIoph3qXWoE8NoFyMxowRSoBWYEnhHWPKwEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,412,1511823600"; d="scan'208";a="252464691" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Jan 2018 14:39:43 +0100 Received: from [192.168.0.14] (cpe-70-112-2-148.austin.res.rr.com [70.112.2.148]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id F15725600AC; Thu, 25 Jan 2018 14:39:41 +0100 (CET) Date: Thu, 25 Jan 2018 07:39:38 -0600 User-Agent: K-9 Mail for Android In-Reply-To: References: <20180123145453.GA1916@Magus.localnet> <20180123231432.GA20089@topoi.pooq.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----90F6PY4JI4TFVG256XO7GTYD8TD74G" Content-Transfer-Encoding: 7bit To: =?UTF-8?Q?Matej_Ko=C5=A1=C3=ADk?= ,caml-list@inria.fr From: Simon Cruanes Message-ID: <2296B019-5F86-4500-A880-3350BDDEAA63@m4x.org> X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Thu Jan 25 14:39:42 2018 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.411959, queueID=D40B35600AF X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Are record types generative? ------90F6PY4JI4TFVG256XO7GTYD8TD74G Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Note that you can explicitly annotate function types (possibly with _ at so= me places when full types would be too long or are irrelevant). I've been d= oing it more and more recently and it's really readable.=20 --=20 Simon (from my phone)=20= ------90F6PY4JI4TFVG256XO7GTYD8TD74G Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Note that you can explicitly annotate function types (possibly with _ at so= me places when full types would be too long or are irrelevant). I've be= en doing it more and more recently and it's really readable.
--
Simon (from my phone)=20= ------90F6PY4JI4TFVG256XO7GTYD8TD74G--