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 266097F617 for ; Fri, 5 May 2017 15:08:38 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=max.mouratov@outlook.com; spf=Pass smtp.mailfrom=max.mouratov@outlook.com; spf=Pass smtp.helo=postmaster@EUR01-HE1-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of max.mouratov@outlook.com) identity=pra; client-ip=40.92.65.87; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="max.mouratov@outlook.com"; x-sender="max.mouratov@outlook.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of max.mouratov@outlook.com designates 40.92.65.87 as permitted sender) identity=mailfrom; client-ip=40.92.65.87; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="max.mouratov@outlook.com"; x-sender="max.mouratov@outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@EUR01-HE1-obe.outbound.protection.outlook.com designates 40.92.65.87 as permitted sender) identity=helo; client-ip=40.92.65.87; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="max.mouratov@outlook.com"; x-sender="postmaster@EUR01-HE1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Ar9RXMB2UzKmeUtVbsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seISI/ad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWpPUNhMWSxdDI2y?= =?us-ascii?q?bIUPAOgdMuhXoIbwvEcOrQKiCQWwGO/j1iFEi3nr1qM6yeQhFgTG0RQnEd0Uv3?= =?us-ascii?q?XfsdL7NKAPUeCv1qbI0TLDb+1L0jr67YjHaB8greuJXbJ3bMrR01MgFx/CjlWO?= =?us-ascii?q?soHlOC6V1vgJs2ic6OpgVvijhHIgqwF0uzWiwNonhIfOhoIQ0F/E9CN5zZ40Jd?= =?us-ascii?q?2+Uk57YMSrHIFetyGAMYZ9X8AsQ3lwtSs11rEKo5q2cDYQxJkmxxPTcf+KfoqO?= =?us-ascii?q?7xn+TuieOy14i2hgeL+nhxa970ygyurkW8e73llEsjZJnsTVun4P2BLf99GLSv?= =?us-ascii?q?xm8Ui/wzqP0B3T6v1fLkAziKrbLYMuzqQolpoJtkTDAjH5l1nqjK+XcUUk/PKk?= =?us-ascii?q?6+P6YrX6op+cMIh0igLkPqsyncy/BPw0MgkIX2eF5eSxzLLu8VHjTLhOkPE6iK?= =?us-ascii?q?jUvZDAKckYpKO1GwpV3Zwi6xa7ATemytMYnXwfIVJAYh2GgJLlO1TJIPDlF/ew?= =?us-ascii?q?mUiskDB1x/3dOb3hH4nNLnzEkLfmfrZx8VJTyA02zdxH/ZJbFqkBIO7vWk/2rN?= =?us-ascii?q?HXEgU2Mwmww+r+DNV915geWX6UD6+CMKLStEeI6fg1L+mNYo8Vojf9JOI/6/7g?= =?us-ascii?q?l39q0WMaKICv0YEaIFaxAvRvJQ3NaHzgmNopHWYFvxA3UO2sg1qHFzRJMSWcRa?= =?us-ascii?q?U5sxQyGMqDCprZT5yqnvTV2S6rWJhRe3pPFleSOXD1a4GDXPRKYyWXdJwy2gcY?= =?us-ascii?q?XKSsHtdynSqlsxX3nv8+drLZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSAwAAeQxZhldBXChcHQEFAQsBGAEFA?= =?us-ascii?q?QsBgydlgQyOc5BkiRGMYIIOLIV4AoUNEQEBAQEBAQEBAQEBEgEBAQgLCwgoL4I?= =?us-ascii?q?zIgGCQAECAzoGATgBDwIBAwUYHhAyJQIEDg2IKQIBAYFSAQMYC6VSAo4WgwoFg?= =?us-ascii?q?1ABSgODOAEBAQEBAQEBAgEBAQEBAQEBAQEWAwUBhl6EeYRlgzKCMQWQGo1VghC?= =?us-ascii?q?FC41oj3ySegGBPDkKgR5OIVuEZB+Bb0A2AYh0AQEB?= X-IPAS-Result: =?us-ascii?q?A0DSAwAAeQxZhldBXChcHQEFAQsBGAEFAQsBgydlgQyOc5B?= =?us-ascii?q?kiRGMYIIOLIV4AoUNEQEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzIgGCQAECAzoGA?= =?us-ascii?q?TgBDwIBAwUYHhAyJQIEDg2IKQIBAYFSAQMYC6VSAo4WgwoFg1ABSgODOAEBAQE?= =?us-ascii?q?BAQEBAgEBAQEBAQEBAQEWAwUBhl6EeYRlgzKCMQWQGo1VghCFC41oj3ySegGBP?= =?us-ascii?q?DkKgR5OIVuEZB+Bb0A2AYh0AQEB?= X-IronPort-AV: E=Sophos;i="5.38,292,1491256800"; d="scan'208";a="222602652" Received: from mail-oln040092065087.outbound.protection.outlook.com (HELO EUR01-HE1-obe.outbound.protection.outlook.com) ([40.92.65.87]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 05 May 2017 15:08:37 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=outlook.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=ea1WQAWwRtEgZF+1dCM+X4YB5ryUf0kEDT7J8l/TIME=; b=Twi7GoiW+W5196sRnztZLAmPb48odOfzdjEIYoL36mfFT6UoaPOX0V4WS8DC/BgkFVnreVGHZSoVRnS6u2cnqOnL/hd+bw+IW3+DpLXgJz0X5PBYDc0lJwlgO09iqOPhasVTB2Yl99rc1Q7rIOqD9fXsxoVca/ZPfEjx/Z57K0kHlT8lYVXraD+dyjvKTYptcUPWECDgW9m9tGQ38eRok1nlOWGgOGH15iNOllpbINBhcNbsVa4xLO/BjPzLMflD9M0xfOnJ1kBN1EdubzFFRSYWenlqOgqQOG0u3H/FJbfO/4C7vPbZO9yVHOZafquISbIxmplJIyIMW8f7aN5jvA== Received: from VE1EUR01FT024.eop-EUR01.prod.protection.outlook.com (10.152.2.60) by VE1EUR01HT171.eop-EUR01.prod.protection.outlook.com (10.152.3.203) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.1047.9; Fri, 5 May 2017 13:08:35 +0000 Received: from VI1PR0901MB1341.eurprd09.prod.outlook.com (10.152.2.60) by VE1EUR01FT024.mail.protection.outlook.com (10.152.2.213) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1047.9 via Frontend Transport; Fri, 5 May 2017 13:08:35 +0000 Received: from VI1PR0901MB1341.eurprd09.prod.outlook.com ([10.167.211.155]) by VI1PR0901MB1341.eurprd09.prod.outlook.com ([10.167.211.155]) with mapi id 15.01.1061.022; Fri, 5 May 2017 13:08:35 +0000 From: Max Mouratov To: Andre Nathan CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] First class module syntax Thread-Index: AQHSxZsqGgT57fkSW0+/BOgHz36696HlrwWAgAADOYCAAAPtAA== Date: Fri, 5 May 2017 13:08:35 +0000 Message-ID: References: <57d0397e-7e96-455f-5c33-b951f7678585@digirati.com.br> <78fcf5fa-fe83-03f6-7644-561915956d15@polychoron.fr> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-incomingtopheadermarker: OriginalChecksum:D2F80A0A1679BECD05792D3F1F4BEC74B2C0E119FF507B08B2FBC626187B891C;UpperCasedChecksum:4DD411668A1C93B2939D3D7AFE18202D076065254A590CBFD669232E263906AD;SizeAsReceived:8054;Count:40 x-ms-exchange-messagesentrepresentingtype: 1 x-microsoft-exchange-diagnostics: 1;VE1EUR01HT171;5:6wvqkcc7LuZMe7s1TZlf6uNzqVZuhsR/cvAz3iNNImDORsj5u7CEpA+3V9W+xQRfzsphdMuI3jPQkstE0VakKCosXrLzbiaIFiR4BF089bNPX61wq74L1aTjyNTMEamy/e6I9g+7XizhUlPF2uumxQ==;24:VG0pyQCliTLnagC5+Ts9+3ihymOwyE/jQKiF8nce/NqJCLUjdB6/JwTdD7EQSGoSDjpyjBo+MZHSg+VyBdl3YbkqnwopQGcxBN97v/jS1nI=;7:W3MDmsrK52bDchRAye1EJLUsbW3pb71XwinplYYrtauzICRtr1CQVaYrWvJxb4rEV53gb8XIqu/4SDVKCZ90LOAqxehMZ4mBUad6fv+EGk1s/2cGQ/RdSszQImzqbyM3+JULfvKiFxBYN4s08Tz5ti9pVA3GerIeaYu2vUNFrr6Zsrlkgzzmm12VAI8n0DZrTXGuvpUmzzcEQjQjOV7xVmmnj23xK5tf6000e21MJ+apAUpo7jdGXtGw044BQl9P45iOmqIUBIrZlvkQHvoJFHzn5/rPiNStXnRr6O/YEMUujJJEftNQ4uzD1sspO2xU x-incomingheadercount: 40 x-eopattributedmessage: 0 x-forefront-antispam-report: EFV:NLI;SFV:NSPM;SFS:(7070007)(98901004);DIR:OUT;SFP:1901;SCL:1;SRVR:VE1EUR01HT171;H:VI1PR0901MB1341.eurprd09.prod.outlook.com;FPR:;SPF:None;LANG:en; x-ms-office365-filtering-correlation-id: b517f456-c062-4f1a-3ae6-08d493b7d5a8 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(201702061074)(5061506573)(5061507331)(1603103135)(2017031320274)(2017031324274)(2017031323274)(2017031322274)(1601125374)(1603101448)(1701031045);SRVR:VE1EUR01HT171; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(444000031);SRVR:VE1EUR01HT171;BCL:0;PCL:0;RULEID:;SRVR:VE1EUR01HT171; x-forefront-prvs: 02981BE340 spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="us-ascii" Content-ID: <4D31FDFD4CA68C47AE00D237491C7022@eurprd09.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: outlook.com X-MS-Exchange-CrossTenant-originalarrivaltime: 05 May 2017 13:08:35.2223 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Internet X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-Transport-CrossTenantHeadersStamped: VE1EUR01HT171 X-Validation-by: max.mouratov@outlook.com Subject: Re: [Caml-list] First class module syntax Friday, May 5, 2017, 5:54:27 PM, Andre wrote: >> On 05/05/2017 09:42 AM, octachron wrote: >> (* module type names do not need to start with a capital *) > > I didn't know that! Wow, I didn't know that as well! Quite surprising. According to docs, module type names are the only kind of identifiers that can be either capitalized or not [1]. Why is it so? What is rationale for this design decision? I'm really curious. [1] https://caml.inria.fr/pub/docs/manual-ocaml/names.html#modtype-name