Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101002
Return-Path: <morrison.levi@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 57009 invoked from network); 31 Oct 2017 17:37:21 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 31 Oct 2017 17:37:21 -0000
Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.51 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 74.125.82.51 mail-wm0-f51.google.com  
Received: from [74.125.82.51] ([74.125.82.51:49555] helo=mail-wm0-f51.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id EE/34-07742-0D4B8F95 for <internals@lists.php.net>; Tue, 31 Oct 2017 12:37:21 -0500
Received: by mail-wm0-f51.google.com with SMTP id b189so355316wmd.4
        for <internals@lists.php.net>; Tue, 31 Oct 2017 10:37:20 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc;
        bh=/LkbDz6es5SCq3K1Zgh9/qKAa6SNqTYVgZujI2800G8=;
        b=iyNH4nMxyBSSc0MkaKxksN2LncSejL2PR0LUwY5Vir+8G20ITYPaV18FPBi0SL62ek
         1Kov4hvgPFB5ucoVv+pe2+NtXbf1O9qDNnr9OwdGIGg6rjvyxewSa07LXoWGsW20SrGL
         rISKvEdl4ZwhQYwfohffx8yO78/eCr9gfnXHh/R+KO2OzA6bovwvx1w5gr4SNpQBplEj
         ZViDZgBvmpQxtLVplGo/wEMAIjDyuHHgu+oKbrv5WNHchrkT2GHdiZRYihQVJg0D8sey
         e70qGPdc+/+WcO3p9M49LGPYmk2lsVIH80fCmOu7q7qoaMeDmggH/vj2/A/YyzgtUPha
         dP+Q==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:sender:in-reply-to:references:from
         :date:message-id:subject:to:cc;
        bh=/LkbDz6es5SCq3K1Zgh9/qKAa6SNqTYVgZujI2800G8=;
        b=eu3KGYvi4Jes2Iflx17hlfm/QzII3v/RLUWMW2b71y+A9kmFPVG6kJ68sAkaKSM36E
         MhL+o5ww7tHYQZyac4s7nHgZci6fRBYnsHTqIhi640sc0zbr2mRkP3y/YYxZSRU+bO50
         YmFEFrg3GJaJZ0PsF6QpPVoZHJZAgZCfHgiJxQbUhOqoWig+VmSaox96GpPEzLm0TUsG
         NBEf1BuPB1CibMNqvGhdpEEb6B6lqm/6kLd6k1lizW1go1SWw1KrELLOMxvqEaYkDCMA
         SzXKAIuttgzQBR/H0fur1+I+XVDgigVXV3DLZv+j9f84c5sCStCGcQAf7XfJ6sYcRbfo
         O4Ww==
X-Gm-Message-State: AMCzsaV3n1cYtnMwk2RTdGnycoCpFKhu7dvygV1hKPUXePaPh+aFcDf7
	zwyOPrjF+j6UXHe+VC89stV3xxIwJo7BG0h8+X4=
X-Google-Smtp-Source: ABhQp+SQQahySNTlACCw21bexKJT1c6kFLd0RoPnau8bgrZlgzX0Hm04lFjD08wPh4umRfJpvg/wVXqWKxHO56a29xo=
X-Received: by 10.28.66.25 with SMTP id p25mr2355968wma.154.1509471437653;
 Tue, 31 Oct 2017 10:37:17 -0700 (PDT)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
Received: by 10.28.228.197 with HTTP; Tue, 31 Oct 2017 10:37:17 -0700 (PDT)
In-Reply-To: <CA+kxMuQ92GjSnNPx-atA6N-ot_DJnjjdF72DDbQFdRZL2cit4w@mail.gmail.com>
References: <CALTzvrKFLnCW4+D-FU4cp2rmOScF77vZFz4f1cuVP3VyMzkkeg@mail.gmail.com>
 <CA+kxMuQ92GjSnNPx-atA6N-ot_DJnjjdF72DDbQFdRZL2cit4w@mail.gmail.com>
Date: Tue, 31 Oct 2017 11:37:17 -0600
X-Google-Sender-Auth: Y49R7hU6TfuM6IDX4Dx0hsGIGeM
Message-ID: <CAFMT4Nros2d82OLexzwQuHjBEggMV04n8K8sqWzc0rxU--Yu5g@mail.gmail.com>
To: Dan Ackroyd <danack@basereality.com>
Cc: =?UTF-8?B?TWljaGHFgiBIYXLEmcW8bGFr?= <harezlak.dev@gmail.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] RFC - Array Of for PHP 7
From: levim@php.net (Levi Morrison)

My thoughts on the RFC:

  - The syntax `typename[]` is a poor. Consider how nullability might
bind `?int[]`. Is that `(?int)[]` or `?(int[])` ? Here are some
variants that do not have this issue:
    [?int] and ?[int]
    array<?int> and ?array<int>
  - Our current infrastructure requires us to check every element of
the array for conformance. While undesirable I believe this can be
optimized away in the future if we care enough, and therefore not a
show-stopper.