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 0FD8F7FA5F for ; Thu, 19 Jan 2017 12:20:26 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.mailfrom=nils.becker@bioquant.uni-heidelberg.de; spf=None smtp.helo=postmaster@relay.uni-heidelberg.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=pra; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nils.becker@bioquant.uni-heidelberg.de) identity=mailfrom; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="nils.becker@bioquant.uni-heidelberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay.uni-heidelberg.de) identity=helo; client-ip=129.206.100.212; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nils.becker@bioquant.uni-heidelberg.de"; x-sender="postmaster@relay.uni-heidelberg.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A+prUmB3JNzRsfCC9smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seITI/ad9pjvdHbS+e9qxAeQG96Kt7QY0qGP4ujJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe7x/IAi5oQnMssQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnXhMJtkqxbrhGvqRJxzIHbYo6aKPVwc7jBfd4YX2dNQtpdWiJDD466?= =?us-ascii?q?coABD/ABPeFdr4Tlv1UOrB++BRKxD+7y1DBHmnz20rMg0+88FgzG2g0gH9YVsH?= =?us-ascii?q?jOt9r6KrsdUeOrw6nS1jjMdPJW2TDk6IjVaB8hp+2MUahtccrXyEkjDgPFgUuR?= =?us-ascii?q?qYP4ITyV0v8CvHaB7+pvT+6glnAophh3rzOyxckskpHEip8Lxl3A7yl13po5KN?= =?us-ascii?q?yiREJmfdKoDIFcuz+HO4doWs8uXn9ktSIgxrEYpZK2fTIGxIooyhPfcfCLboeF?= =?us-ascii?q?7xzlWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZQsCVFlsPDt3AX2xzO7MiHS+?= =?us-ascii?q?Jx/ke/1jaOyg/c9OVELlsqmqrBJJ4t2KM/mYQLvUTCGC/5hln2gbeLekk6/uWk?= =?us-ascii?q?8frrbqnnq5OGKoN4lh3yPr4wlsCiH+g0Kg0OUHKa+eS42r3j50r5QLBSg/0wk6?= =?us-ascii?q?nZtIvaKd4AqaGnHwBV0Zgs6wykAji90dQYmmAHLE9fdxKBk4jlIUzOIPb5Dfum?= =?us-ascii?q?g1SjjjZryO3YMb3lGZrCMGLDkLj7cblg9UFQ0BAzwsxH55JIFrEBJ+r+VVPru9?= =?us-ascii?q?zdCh81Kgi0w+f8CNVhzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbS?= =?us-ascii?q?iipzklYYeeyt3IALQHG+BPVvZUuDKzK4id4EFSIOvxEiZO3sklyLFzBJMSWcRa?= =?us-ascii?q?U5sxc6DJnuJ4rIRY23yOiH3SOgWJdbbWNLEHiGEHDxaoyCR7ERbiPXIsJgnjEA?= =?us-ascii?q?X7W7RMkt2Ef950fB17N7I7+MqWUjvpX52Y0t6g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTAAB8oIBYh9RkzoFeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgxQBAQEBAYEphDCKCHKmPYIMhiICgXg/GAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgNCQodJQuCMxmCHgYjSQoTCxoCJgICVwYNCAEBiH+vXIIlijwygQuFQIIFg?= =?us-ascii?q?mmHT4JeBZtEgXuRSQGIS4ZDknAfgU8SHoUagWyKVgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DTAAB8oIBYh9RkzoFeHAEBBAEBCgEBFwEBBAEBCgEBgxQ?= =?us-ascii?q?BAQEBAYEphDCKCHKmPYIMhiICgXg/GAEBAQEBAQEBAQEBEgEBAQgNCQodJQuCM?= =?us-ascii?q?xmCHgYjSQoTCxoCJgICVwYNCAEBiH+vXIIlijwygQuFQIIFgmmHT4JeBZtEgXu?= =?us-ascii?q?RSQGIS4ZDknAfgU8SHoUagWyKVgEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,253,1477954800"; d="scan'208";a="209930966" Received: from relay.uni-heidelberg.de ([129.206.100.212]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Jan 2017 12:20:21 +0100 Received: from ix.urz.uni-heidelberg.de (cyrus-portal01.urz.uni-heidelberg.de [129.206.100.176]) by relay.uni-heidelberg.de (8.15.2/8.15.2) with ESMTP id v0JBKKsu022740 for ; Thu, 19 Jan 2017 12:20:20 +0100 Received: from extmail.urz.uni-heidelberg.de (extmail.urz.uni-heidelberg.de [129.206.100.140]) by ix.urz.uni-heidelberg.de (Postfix) with ESMTPS id 28A7621E58E3 for ; Thu, 19 Jan 2017 12:20:20 +0100 (CET) Received: from bqdyn245_127.bioquant.uni-heidelberg.de (bqdyn245_127.bioquant.uni-heidelberg.de [129.206.245.143]) (authenticated bits=0) by extmail.urz.uni-heidelberg.de (8.15.2/8.13.1) with ESMTPSA id v0JBKJpN012506 (version=TLSv1.2 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 19 Jan 2017 12:20:20 +0100 From: Nils Becker To: "caml-list@inria.fr" References: <2B595CCC-1121-4C8C-8F5F-A235D3AB19BB@yahoo.com> Message-ID: <64e5fca1-a5da-9ff5-ad90-b23343d17360@bioquant.uni-heidelberg.de> Date: Thu, 19 Jan 2017 12:20:19 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 In-Reply-To: <2B595CCC-1121-4C8C-8F5F-A235D3AB19BB@yahoo.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Validation-by: nils.becker@bioquant.uni-heidelberg.de Subject: Re: [Caml-list] Ocaml optimizer pitfalls & work-arounds a while ago there was a proposal for deprecating the specialized treatment of float arrays, which was not accepted iirc. it seems that the slowdown of all Array.get calls is quite a high price to pay. what do we gain from the float array specialization? (honest question - i don't have a good understanding) the min, max issues can be avoided without much trouble by using specialized comparison, as provided in standard library extensions. n.