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 73B817FA5F for ; Thu, 19 Jan 2017 16:42:07 +0100 (CET) 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.126.135; 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.126.135; 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.126.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aek9usBwj+pA6JkXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2uIfIJqq85mqBkHD//Il1AaPBtSHra4dwLWN+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFHiTanbr5+MRq6oAffu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDICh?= =?us-ascii?q?YYUPEeQPM+RXr4fhqFUJohSzHgasCP/1xzJSnHL6wak33uI8Gg/GxgwgGNcOvW?= =?us-ascii?q?zVotrrLqcdTP2+wrTUzTXEa/NWwTL955LOchAnvPqBWrNwcczfyUkoDA7FgUuf?= =?us-ascii?q?qZb4MD+MzeQNr2+b7+54VeKqkWEnrQdxriKyycgyk4TEgJ8exF7D9SV82ok1JN?= =?us-ascii?q?u4RVZ0YdG6CptfqjiWN5BqQsMlR2FooCM6xacAuZ69ZiQF1YooywbDZPOddoiI?= =?us-ascii?q?5g7sVOeNITZ4nn5lf6i/hxm0/EO9yeP8TtG53EhXoiZbiNXAqG4B2h7J5sSaVP?= =?us-ascii?q?dw/12t1SuB2g3T8u1JIkA5mbDGJ5MizLM8jJsevEDZEiPrmUj6kambfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+Nbwjmsm4AeQlLggCRWub+fm61LL+40L5Rq5KgeMskq?= =?us-ascii?q?nHrp/aP94XqbOnDANN04Yj7QiwDyu+3dgGgHULMkhJdAyZg4XrIV3CPe70APal?= =?us-ascii?q?j1ixnjpmx+jKPrj7DZXMKnjDnq3hfbF460NEyQozy95f55VPB7EOPv3zQFL+uM?= =?us-ascii?q?XDDh8lNAy0x/7nCNBn2YMYX2KDGLKWP73KvV+S+u0vO/WMZJMSuDvlN/cq/fvu?= =?us-ascii?q?jXsglV8ZfKmpxocXZWujHvVmJkWZeWDjjs0AEWcMpAo+TfblhEeMUT5JND6OWP?= =?us-ascii?q?cV4jg6DsqIF4bYTYDl1LWF1Sa9WJNMZ3tNCniIHGfpeYTCUPAJPmbaBM5liXQu?= =?us-ascii?q?WLOiRpVpgRevsBS8wbdsLefO0icZsov+3d5pofDVlFQy+D14AsCX3nuCCW15yC?= =?us-ascii?q?dADTQ/2aQ6pU1m1n+C17J5irpWD5Ybs/hAVwN/MZ/H08R7DcrzU0TPZIHaZkyh?= =?us-ascii?q?R4CJDCs9BuktxNsWZk97HZ32jxbN2AKlDqUZ0qeXA5gs96va2T79KpAumD79yK?= =?us-ascii?q?A9ggx+EYN0Pmq8i/s6rlCLCg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CFAADg3YBYf4d+49ReGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFQEBAQECAQEBAQgBAQEBgxQBAQEBAX+BCY1ZcqY+ggwmhXwCgX4/GAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBCQsLChsyQgyBZRsBghsGVTQLRlcGARIJiH4BCbIWikUBA?= =?us-ascii?q?QEBBgEBAQEVD4VahV+EVYJADIMMBYh+kkaBUQKaPYZDknAfgWEeFDqGOHIBhh2?= =?us-ascii?q?DFgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CFAADg3YBYf4d+49ReGgEBAQECAQEBAQgBAQEBFQEBAQE?= =?us-ascii?q?CAQEBAQgBAQEBgxQBAQEBAX+BCY1ZcqY+ggwmhXwCgX4/GAEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBCQsLChsyQgyBZRsBghsGVTQLRlcGARIJiH4BCbIWikUBAQEBBgEBAQEVD4V?= =?us-ascii?q?ahV+EVYJADIMMBYh+kkaBUQKaPYZDknAfgWEeFDqGOHIBhh2DFgEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,254,1477954800"; d="asc'?scan'208";a="209979742" Received: from mout.kundenserver.de ([212.227.126.135]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Jan 2017 16:42:06 +0100 Received: from office1.lan.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.167]) with ESMTPSA (Nemesis) id 0MKyv2-1cUEqf0yP2-0005VM; Thu, 19 Jan 2017 16:42:01 +0100 Received: from e130 (e130.fritz.box [192.168.5.100]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 88365DC05D; Thu, 19 Jan 2017 16:42:00 +0100 (CET) Message-ID: <1484840513.14465.111.camel@gerd-stolpmann.de> From: Gerd Stolpmann To: Alain Frisch , Nils Becker , "caml-list@inria.fr" Date: Thu, 19 Jan 2017 16:41:53 +0100 In-Reply-To: References: <2B595CCC-1121-4C8C-8F5F-A235D3AB19BB@yahoo.com> <64e5fca1-a5da-9ff5-ad90-b23343d17360@bioquant.uni-heidelberg.de> Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-ISFv4Anvjo4lSGS3WTmf" X-Mailer: Evolution 3.18.5.2-0ubuntu3 Mime-Version: 1.0 X-Provags-ID: V03:K0:3WBiq6uAMfieHB8PXITMinNQ+/9l9oidpYT0PKGHwK1N+A8B3SL v6vNSbHqusn0sJUbhKpnVLmhGs/lhGi1Dquwyc9VlQH2Jj24QfKIvBW2gJKNSPwT9KbVkTk UY86K6Ktwc/Jdg6G2IPZrz/eGUUjrSQeMVwIW6KuBVJpBSARU2VIaG1jDAo6metD5eaVjjG qJPHJGoN5QkXp46A/Di4Q== X-UI-Out-Filterresults: notjunk:1;V01:K0:sF70arEMy9s=:jxPLoYgamCuJqAi7hWca6H qif6IKEHH1r+/n9YzCKJGgx2iItRlSBc7BBl4kJeNabK6EsofjD/TgIup0yiv+HSpHZzAA9Sn 50qss0+OQPsbWnA5o951IEMprNpXR5f7Ve9gtwyrI+Lqs+knPgAa7qwUnjRaRn8WFDQlfnOnX XzPkt1kD5oSOTzsEeF7nRpUS/xkEZkNS5jaHTF6jR/KiXZ7TbzVBpZWisHN8lWpiL0A9kRQcR lDAroGSRjukZzdYlBpxZxUc2IQeu14VyjWau4stWdFeKK2wn9kqJgDrz3PyMrJ9W8f8PiJt2e SiKqUjGA01c8VC7eMnlBCPqat298r+Eyt8HSbywsVydtMnXO4NWtm8K6kK8oO55IVCsiEepJo rC3A4XnknhJT8mosP0P1fCT/4mRj4wcc/cAVLOIYh8PXHxvtXi4EUDfh6dqXq8gPeev2J7wvm BnqiGPVOAob1Rf4G/CzgpLwDijmnXCXtiQgukKeKMbNUJaTk3x/8eSPUwVbtKhOKXBBMVFeJt 0s5LcXV2AqTjmAKNHUJggFw2njHmUM3O5Dlxuf+fgHTvALyYnvhYr5PDYJNxfWx5OaFzT0LAT evRq2+RCmIFH6sQ7/t9FcRNeZqpFYunIkaq/T/LJDNlt6mfQAFWP58gnJfo5GO8pW9rYGkx7R oEhLB4QDvd0bTamrHlrmZ4pCGsKLJHT5ImJZbboTd84tAC/G/x+x2qpX/VqeHf/B/qWQ= Subject: Re: [Caml-list] Ocaml optimizer pitfalls & work-arounds --=-ISFv4Anvjo4lSGS3WTmf Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Donnerstag, den 19.01.2017, 15:35 +0100 schrieb Alain Frisch: > (Another argument in favor of the status quo is that writing=A0 > "FloatArray.get a i" is syntactically heavier than "a.(i)".=A0 > Interestingly, I don't feel that the ability to write polymorphic > code=A0 > on arrays and apply it to (unboxed) float arrays is considered as a > very=A0 > important property.) Any chance that we get implicits? Gerd > -- Alain >=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 ------------------------------------------------------------ --=-ISFv4Anvjo4lSGS3WTmf 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 v2 iQEcBAABCAAGBQJYgN5BAAoJEAaM4b9ZLB5T2v8IAID3ydZjP00WNcNteJNga9Tt jUZMdP3UM/byTAsX8STnl9efShzFPndl9mEP1l3CoURnakJ+vSL9r8/+Nj3Vnq6Z IGU5z9Ps8zW5+pYcAQ7fDLa7AYl71wr3N9unea9PHzXoAyyZjqPQRw+5BrjEcKnF vBUmsJ6sgAzJk0RwYSb0vgabB6njqo+x7xpSDUY7xftRnvnoq+jw6G6OvB2FgCks Gzmbh1voy/0Y8WpwdaqS5TIsoexKGEYaSTCLGNFvgwgnnlh7DjDHud/fL7ZIARrE KIp2GzCead3ITGD1jDZWgnN2zUs/jYXkMfQmCyNnXOj4xhfzrME90XK77S2AJJU= =J/5j -----END PGP SIGNATURE----- --=-ISFv4Anvjo4lSGS3WTmf--