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 0E8747EEFA for ; Tue, 10 Nov 2015 16:30:34 +0100 (CET) IronPort-PHdr: 9a23:faC32ha9FH657udt6B7keK7/LSx+4OfEezUN459isYplN5qZpM++bnLW6fgltlLVR4KTs6sC0LqL9fy9EjNdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730p8CYPFgArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl6v630QSGQV2jBPBA2NuBH3WJvrsyjSqu1l3yjcJcrxVPY/XjH0q+8hQxbtjGIDNiUl2GDRkM15yqxB6lr1rBV6x8vQYZqJHPt4ZKLUO90AEzlvRMFUAmZ6BY6zc5EIF65JGOdTr4DwoxFG+R6/DgmlCeep0ThFiWPs2rUS0uI9HAWA1wslSYFd+E/Ipcn4Yf9BGdu+y7PFmHCaN6tb Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga11.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.93; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.93 as permitted sender) identity=mailfrom; client-ip=192.55.52.93; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mga11.intel.com) identity=helo; client-ip=192.55.52.93; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga11.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B0AADSDEJWnF00N8BehA5vBsAyGYV3AoFAOxEBAQEBAQEBARABAQEBAQYNCQkhLoIuggcBAQEDAToPNQsCAQgiFBAyJQIEARqIHgcBwzcBAQEHAQEBAQEBARyGVoR8hFuDSYEVBZZIAY8Ah2WTBTeCU4FdcoQnAYEGAQEB X-IPAS-Result: A0B0AADSDEJWnF00N8BehA5vBsAyGYV3AoFAOxEBAQEBAQEBARABAQEBAQYNCQkhLoIuggcBAQEDAToPNQsCAQgiFBAyJQIEARqIHgcBwzcBAQEHAQEBAQEBARyGVoR8hFuDSYEVBZZIAY8Ah2WTBTeCU4FdcoQnAYEGAQEB X-IronPort-AV: E=Sophos;i="5.20,270,1444687200"; d="scan'208";a="186957750" Received: from mga11.intel.com ([192.55.52.93]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Nov 2015 16:30:32 +0100 Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by fmsmga102.fm.intel.com with ESMTP; 10 Nov 2015 07:30:30 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,270,1444719600"; d="scan'208";a="597609457" Received: from irsmsx106.ger.corp.intel.com ([163.33.3.31]) by FMSMGA003.fm.intel.com with ESMTP; 10 Nov 2015 07:30:29 -0800 Received: from irsmsx111.ger.corp.intel.com (10.108.20.4) by IRSMSX106.ger.corp.intel.com (163.33.3.31) with Microsoft SMTP Server (TLS) id 14.3.248.2; Tue, 10 Nov 2015 15:30:28 +0000 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.251]) by irsmsx111.ger.corp.intel.com ([169.254.2.223]) with mapi id 14.03.0248.002; Tue, 10 Nov 2015 15:30:29 +0000 From: "Soegtrop, Michael" To: Hendrik Boom , "caml-list@inria.fr" Thread-Topic: [Caml-list] Newbie comment on constructor syntax Thread-Index: AdEYdh7tbwUSNAYOTYyfd0AlZw/waQCAeFV0ABMSm9AAG8wiEwAVgHpwAA4NrYAAAmNyEA== Date: Tue, 10 Nov 2015 15:30:27 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE3EF28@IRSMSX102.ger.corp.intel.com> References: <87pozk6vjp.fsf@mid.deneb.enyo.de> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3E747@IRSMSX102.ger.corp.intel.com> <56407297.2060309@frisch.fr> <564076EA.7020805@mpi-sws.org> <5640D8E0.6060102@lexifi.com> <5640E2EF.7070400@mpi-sws.org> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3ED02@IRSMSX102.ger.corp.intel.com> <20151110141133.GA13185@topoi.pooq.com> In-Reply-To: <20151110141133.GA13185@topoi.pooq.com> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Newbie comment on constructor syntax Dear Hendrik, > And of course, that C++ doesn't have first-class functions. Or has that > changed recently? C++11 claims to be a functional language and supports anonymous functions a= nd currying. But as you say: the syntax of types, especially function types= , is rather messy in C/C++. > In any case, the problem with OCaml's apparent typelessness isn't that you > don't have to write the types, it's that when you see someone else's code > you can't read the types. I don't know how others handle this. I came to the conclusion that it might= be a good compromise to write explicit types on interface functions and om= it them on internal functions. But as newbie I can't tell how readable this= is to others or to me in 5 years. Best regards, Michael Intel Deutschland GmbH Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany Tel: +49 89 99 8853-0, www.intel.de Managing Directors: Christin Eisenschmid, Christian Lamprechter Chairperson of the Supervisory Board: Nicole Lau Registered Office: Munich Commercial Register: Amtsgericht Muenchen HRB 186928