From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 BE1FB7EEFA for ; Tue, 10 Nov 2015 18:28:01 +0100 (CET) IronPort-PHdr: 9a23:+haBXxaMQC0HulKNwdxdPF//LSx+4OfEezUN459isYplN5qZpcW5bnLW6fgltlLVR4KTs6sC0LqL9fy9Ej1Qqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh730p8CYMlUArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5lH/Sl7F3XwRXXkMlQIMSy3E5xHzU5O7+n//t+F90SSee9bxQL8oQzO6x6ZtVBLsziwAMmhq3nvQj5lfgbhX6Cm9oBhnxofSZsnBNfxweYvScMkWAHFdWcJJUiVHBMWwYt1cXKI6Ie9Eotyl9BM1phykCFzpXbu3xw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B1AACWJ0JWnAoR49Regw9/b7cEiTkXBoVzAoFGPBABAQEBAQEBARABAQEBAQYNCQkhLoIugggBAQMBIyYMJAULC0ICAlcGEwmIHQkDCbJbkFsBAQEBAQUBAQEBARUJhVmFeYRmglUMLhOBMQWHRIVXiS2BAgKNfYc+J5MFOIJSgV5xAYUtAQEB X-IPAS-Result: A0B1AACWJ0JWnAoR49Regw9/b7cEiTkXBoVzAoFGPBABAQEBAQEBARABAQEBAQYNCQkhLoIugggBAQMBIyYMJAULC0ICAlcGEwmIHQkDCbJbkFsBAQEBAQUBAQEBARUJhVmFeYRmglUMLhOBMQWHRIVXiS2BAgKNfYc+J5MFOIJSgV5xAYUtAQEB X-IronPort-AV: E=Sophos;i="5.20,271,1444687200"; d="asc'?scan'208";a="153402801" Received: from mout.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Nov 2015 18:28:00 +0100 Received: from office1.lan.sumadev.de ([84.59.136.115]) by mrelayeu.kundenserver.de (mreue104) with ESMTPSA (Nemesis) id 0LnBmv-1adWfn3veX-00hK3j; Tue, 10 Nov 2015 18:27:55 +0100 Received: from [IPv6:fd54:fbcf:6598:7e::1004] (unknown [IPv6:fd54:fbcf:6598:7e::1004]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9A898DC05D; Tue, 10 Nov 2015 18:27:52 +0100 (CET) Message-ID: <1447176467.15163.8.camel@zotac> From: Gerd Stolpmann To: "Soegtrop, Michael" Cc: Hendrik Boom , "caml-list@inria.fr" Date: Tue, 10 Nov 2015 18:27:47 +0100 In-Reply-To: <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> <0F7D3B1B3C4B894D824F5B822E3E5A172CE3EF28@IRSMSX102.ger.corp.intel.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-cDOBFHXjGmlEGGVKD/H7" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:w3xlKA2utZWzOE/HdLSvRu2vEM8qHfGuvjhSv1AH4nCHzapNPQd I/hjSwPCzMmHB6GMg7944BP51lhe04LAFc2HrSEkpgIRPtCED/ri3znt1EDm6Ik/OKhtlgR QzwW3DT/sjUWV6VjAMZc95qXEs1yLAoT5w+WHI6GSBOcujLtpSng8tzppwaYx1EeG0nMmHs 1qfIWwgd7CdEe8D3urNyg== X-UI-Out-Filterresults: notjunk:1;V01:K0:urDqw9X//50=:GS6eyScxKtq9RWM9QsUraj 0AJyLAc+yN382YGGMpOihHe5aBcGB4zXuoAjBQ88x5pn2e8eJAZfXahlYsEv2DIfiZc+TQN7x HoxmVpUMRuxnK5n+UZFGTKuq8rzYukcVJCFEsatbkAt4hUBwh+Kfc3oPmDKhFIzo6E+gu07dJ M3udf2XDJ15d5nnDsiPcZoHchXAZX5w4u1cvOzeUBfopkNH3LwYvfccR1J2Gua2UO/PSAgch0 FxISS91FEa9EnA7n8ON0K2CwzztLU3RfD1Jna8cC3dxmUtbqGHiOpic+4DWC/dt6n62ej9Bcv ZjZLzB0L+sBrH2d2V0EloG7RkdoHVaZzIOX/Gpj6a6kisWYvknwr+RUhG+0lVa8EgY3NmiCLo ZnKwZMM7khzQvBMIw4mSC46d5xkAnbuM42cH/rZNYJyx2dZANKwIpntfU8ggpK09DycKa+NoV SyNhlf5XSnEyIU/W1vFRU8O9K0k2WNwC7c6XzghVyl90Noq5wyARHVfFgQ0Pa6gFnJf+2JOwi RZiGuaxrKh1IyOXSuLgKcksx+4Ae23pIrWtM4JmpaNXuvm9e3UdMj65A0ls259BUyxpcLg1gT e/vej+v8HIKfKkuhqNcqPAOaAsIthEixurbWf1CjXPgmFnWvk5wVZIi/xj/4KCo/e+GaHtPFl 7oXEijOsYg8HC7H/ixX5fL14JvtPOVA/qSN3Bgg5jDedWHq1BGU7le7Kkb5QJgg3oFt8= Subject: Re: [Caml-list] Newbie comment on constructor syntax --=-cDOBFHXjGmlEGGVKD/H7 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Dienstag, den 10.11.2015, 15:30 +0000 schrieb Soegtrop, Michael: > Dear Hendrik, >=20 > > And of course, that C++ doesn't have first-class functions. Or has that > > changed recently? >=20 > C++11 claims to be a functional language Hmmm, a language whose name is an assignment... > and supports anonymous functions and currying. That's only a small part of the story. I think more important is how much control a language gives you about side effects, and AFAIK C++ doesn't let you control much, and common programming practice goes into the opposite direction (e.g. think of stateful iterators). Gerd > But as you say: the syntax of types, especially function types, is rathe= r messy in C/C++. >=20 > > 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 co= de > > you can't read the types. >=20 > I don't know how others handle this. I came to the conclusion that it mig= ht be a good compromise to write explicit types on interface functions and = omit them on internal functions. But as newbie I can't tell how readable th= is is to others or to me in 5 years. >=20 > Best regards, >=20 > 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 >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-cDOBFHXjGmlEGGVKD/H7 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWQikTAAoJEAaM4b9ZLB5TBKsH/2CYTswbKVjohtotIUO2b/4u wX2BCsDep+zdVu6n96ZtNCXOIa6EYP2TGAdKa8xAepDsJewcjyrqhpugvEITs9WA Dk+LAlF103mwx3JKjgBi9FUdsHhk69W8p5RPZe13ieGRUIDNiQF+j7AHv2qOCXeF dJ2/Q0x1eJXb8sSJpkHb3O9spQqbi6Gj0nRKIBjT+lb74UkMF/f8BtmGqdDXFzMP LdRNGtL8PNluvPSQ+Prun4olO6XQTk1rLl4H4+GGtlQr5BqgufU7N8eu/ZVMAR2H 9RNt+a4dX7owQ8uLlggABXKMxiZgsscl5Sstj9fObWqXmmNMHGFPQxg0yWBeUa0= =o6GM -----END PGP SIGNATURE----- --=-cDOBFHXjGmlEGGVKD/H7--