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 8A9417FA5F for ; Thu, 19 Jan 2017 16:35:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-it0-f51.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.214.51 as permitted sender) identity=mailfrom; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f51.google.com) identity=helo; client-ip=209.85.214.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-it0-f51.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ab9oQ4BWc0UxJMIvNUxWhCEcuopbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaBt8tkgFKBZ4jH8fUM07OQ6PG8HzBZqsnZ+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG5oAnLucQanIRuJ6QtxhDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2h?= =?us-ascii?q?cosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvX?= =?us-ascii?q?vWotX7NKkcX+OowqfW0TrOdOlZ1Svn5YXSbhwtvfOBULRtesTR00kvEAbFg02T?= =?us-ascii?q?p4z7JTyV0PkGvWmc7+p8UuKvlXIoqwFwojiz3ccnl47EhoMLylDL7ih5wZg6Ks?= =?us-ascii?q?OmR0JhZt6kCpRQujicOoBrTM0iRGRotzw7yr0AoZO7fS4KyI4mxxHFcfCHfZKI?= =?us-ascii?q?7grjVemLITd4g3VldKijiBa19EitzPD3WMqs0FtSsCZJjt3BumoO2hHT8MSLVO?= =?us-ascii?q?Zx80i71TuPygze7PxPL1oumqrBMZEhx6Y9lpoNvkTHGS/7gED2g7WXdkUg4+So?= =?us-ascii?q?6vjnbqn/qp+SN4J4lxvyMqspmsy4DuQ4NhYBU3KH9uS70b3v5Uz5QLNUgf0qiq?= =?us-ascii?q?TVrozWKMABqqO6AwJZyJgv5wuwAju80NkUgGELLFdfdxKGi4jpNUvOIPf9Dfqn?= =?us-ascii?q?glSsjjhryuvHPrL/HJrCMGLPkLD7fbZy80Jc0hY8zchD55JIDbEMOO78VVX0tN?= =?us-ascii?q?zcFxM5Nw20w/37CNhmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7?= =?us-ascii?q?pHswmFlVU7OoxpAXICSxGv1nJQOXe3v3idcpFWoavwQ/CuftjQvRfyRUYiOTQa?= =?us-ascii?q?s6rh48FIW4BofCWpvl1L2f0w+6E5BbIGdcBQbfQj/Ta4yYVqJUO2qpKch7n2lB?= =?us-ascii?q?COGs?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNAgBP24BYhjPWVdFeGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFAEBAQEBAQEBAQEBBwEBAQEBgxQBAQEBAUE+gQkHg0qcDII2jUu?= =?us-ascii?q?HNyqFeAKBdwdCFQEBAQEBAQEBAQEBEgEBAQgLCwodMIIzG4IcAQUjHQEBLAsBD?= =?us-ascii?q?wsEBw0NHQICIhIBBQEKEgYTEohWAwsNDqMoP4saaIIlgwgBAQWEKwODBgEBAQE?= =?us-ascii?q?BAQQBAQEBAQEBARgIEoY5hG6EdoJZgl6HLQyIc4sdhmGLBIJJjiWRKhQegRQPJ?= =?us-ascii?q?oF1CDoUBYNqKSCCCSA1AYkzAQEB?= X-IPAS-Result: =?us-ascii?q?A0BNAgBP24BYhjPWVdFeGQEBAQEBAQEBAQEBBwEBAQEBFAE?= =?us-ascii?q?BAQEBAQEBAQEBBwEBAQEBgxQBAQEBAUE+gQkHg0qcDII2jUuHNyqFeAKBdwdCF?= =?us-ascii?q?QEBAQEBAQEBAQEBEgEBAQgLCwodMIIzG4IcAQUjHQEBLAsBDwsEBw0NHQICIhI?= =?us-ascii?q?BBQEKEgYTEohWAwsNDqMoP4saaIIlgwgBAQWEKwODBgEBAQEBAQQBAQEBAQEBA?= =?us-ascii?q?RgIEoY5hG6EdoJZgl6HLQyIc4sdhmGLBIJJjiWRKhQegRQPJoF1CDoUBYNqKSC?= =?us-ascii?q?CCSA1AYkzAQEB?= X-IronPort-AV: E=Sophos;i="5.33,254,1477954800"; d="scan'208,217";a="209978478" Received: from mail-it0-f51.google.com ([209.85.214.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jan 2017 16:35:05 +0100 Received: by mail-it0-f51.google.com with SMTP id c7so36081747itd.1 for ; Thu, 19 Jan 2017 07:35:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=W+4ako3TCmj1tyZ1Wt71v50v3/O3QgcDUfpcIrEo7wc=; b=JMlvXq+lP0Hq2U8ukoFszacfjb3aN5ACZ8m/MHdxcAEtj4I7O8H+vcGC2uWKVCS+ws GRADaDH0G4YqT7Q1LgiPts3eoH7pWC5j0zuPa9O/lEBMRzEhZahwmOufEXqdXtu9TtHc XKI1wslyCH+U1XlZ/+15CUbUk51huUGdhapuoiSevxlfFaqEXtmX1eUshIXZtaWVO3Qz XJ/n3km0yfdD9sO3LB6Ci8KOtJdctnV/J0tkSQx/B+ghQPUQAkkgQx/QbOFHgn+Ey2D4 MYCacFyjzX1SxisrB2BdpAPOUWyJDvXwWbncC+tx/s8HfxumR4hGqGYseqhX6jy15D/F oq6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=W+4ako3TCmj1tyZ1Wt71v50v3/O3QgcDUfpcIrEo7wc=; b=UK3wxYYcreudUAbUDbJYR1UmmMxB0TpwcBtaOZUNaBYTrjoRtXRAnpzuhBUI7XCRja XJcePulNgjGLlxS9+nAMDM3FrJyZSGkgfYQna73yUyhayYMwNx8fVlD1Nc6PiBGGiLjK nGp8qE3jjTcbKqZMGWdvbN2yGoWU3+RgasCwJi3XU0jIw7V9xMFX27IS7XfkSGUSZPuN pdTtRvVlFSC80P+zDv8vs2MEbF+zBGCr+nqi1wM7vSJqQqdFAHp74HETBud555a6k4di Qv9HleU0aLhggXhPwbWebIrY+kqUQ7V6qXip95iov9Xk3Y/YZwe8HkggQWspCByPiItU ozSw== X-Gm-Message-State: AIkVDXJS+oJLba72LzxPg/4yzlcmBlABGeLMCrVrujs7ESwtlPNZQdWp6DWzpEZHZnxUejcdaq5Kd6Z3rnVM39nT X-Received: by 10.36.217.150 with SMTP id p144mr8881105itg.90.1484840103993; Thu, 19 Jan 2017 07:35:03 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.175.130 with HTTP; Thu, 19 Jan 2017 07:35:03 -0800 (PST) In-Reply-To: References: <2B595CCC-1121-4C8C-8F5F-A235D3AB19BB@yahoo.com> <64e5fca1-a5da-9ff5-ad90-b23343d17360@bioquant.uni-heidelberg.de> From: Ivan Gotovchits Date: Thu, 19 Jan 2017 10:35:03 -0500 Message-ID: To: Alain Frisch Cc: Nils Becker , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1145e716f2a08d05467446fd Subject: Re: [Caml-list] Ocaml optimizer pitfalls & work-arounds --001a1145e716f2a08d05467446fd Content-Type: text/plain; charset=UTF-8 On Thu, Jan 19, 2017 at 9:35 AM, Alain Frisch wrote: > > (Another argument in favor of the status quo is that writing > "FloatArray.get a i" is syntactically heavier than "a.(i)". Interestingly, > I don't feel that the ability to write polymorphic code on arrays and apply > it to (unboxed) float arrays is considered as a very important property.) > This is not a big issue, as you can write: module Array = FloatArray a.(i) and it resolve to a call to the FloatArray.get function, as x.(i) is a syntactic sugar for `Array.get x i`. The same is true to bigarrays. This is kind of a non-documented feature, though. > -- Alain > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --001a1145e716f2a08d05467446fd Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Thu, Jan 19, 2017 at 9:35 AM, Alain Frisch <alain.frisch@lexi= fi.com> wrote:
(Another argument in favor of the status quo is that writing "FloatArr= ay.get a i" is syntactically heavier than "a.(i)". Interesti= ngly, I don't feel that the ability to write polymorphic code on arrays= and apply it to (unboxed) float arrays is considered as a very important p= roperty.)
<= /blockquote>

This =C2=A0is not a big issue, as you can w= rite:

=C2=A0 =C2=A0 module Array =3D FloatArray
=C2=A0 =C2=A0 a.(i)

and it resolve to a ca= ll to the FloatArray.get function, as x.(i) is a syntactic sugar for `Array= .get x i`. The same is true to bigarrays. This is kind of a non-documented = =C2=A0feature, though.=C2=A0

=C2=A0
-- Alain


--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--001a1145e716f2a08d05467446fd--