Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123860
Feedback-ID: ifab94697:Fastmail
User-Agent: Cyrus-JMAP/3.11.0-alpha0-538-g1508afaa2-fm-20240616.001-g1508afaa
Precedence: bulk
MIME-Version: 1.0
Message-ID: <5e7f4e03-d7ff-441c-97b1-42a69e6543a1@app.fastmail.com>
In-Reply-To: <54ec7ee2-aef2-4e70-accd-e94babbb2e48@app.fastmail.com>
References: <2a6b92eb-d5e9-4a1a-9548-a068ac42ebd2@app.fastmail.com>
 <CAG4FTXz6cH26C5H51VmTGnpFK5XxROFbW4yDzwAw2v1gcQWGgA@mail.gmail.com>
 <CAPzBOBOTSCCKDR4pDocr4xW+oEXJ27YizgPLkn1PGR9nyPU7ww@mail.gmail.com>
 <1E295280-619B-4490-B53C-0899B64F9215@chaz.works>
 <CAPzBOBPSSEmEbPj1zLcfGOOG7voo7YMUO16NjXzpTy7Wfx4ycw@mail.gmail.com>
 <CAPyj-LAM7yPZpcArjHYEG8HhNRR-hA8sgzAjXT7Wf8X4mVgmQA@mail.gmail.com>
 <97a93ae2-5202-47eb-bf51-ec1e976ea765@app.fastmail.com>
 <CAPyj-LC49o=RVXigTrHte8EWSmwxPKqT4tyRGWpGf022PDCk8Q@mail.gmail.com>
 <c72033aa-7d55-4560-95ac-6c81c21cdc43@app.fastmail.com>
 <8088812c-27f5-4c30-baaf-57d36af1ec08@varteg.nz>
 <54ec7ee2-aef2-4e70-accd-e94babbb2e48@app.fastmail.com>
Date: Wed, 26 Jun 2024 09:56:43 +0200
To: internals@lists.php.net
Subject: Re: [PHP-DEV] [Early Feedback] Pattern matching
Content-Type: multipart/alternative;
 boundary=b90a997ac0054fa3a7f9f284aabac60b
From: rob@bottled.codes ("Rob Landers")

--b90a997ac0054fa3a7f9f284aabac60b
Content-Type: text/plain;charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Wed, Jun 26, 2024, at 09:54, Rob Landers wrote:
>=20
>=20
> On Wed, Jun 26, 2024, at 00:19, Morgan wrote:
>> On 2024-06-26 08:24, Rob Landers wrote:
>> > On Tue, Jun 25, 2024, at 20:23, Ilija Tovilo wrote:
>>=20
>> >> If null array values were indeed unobservable, then [] would be =3D=
=3D=3D to
>> >> [null] (or at least =3D=3D), and a foreach over [null] would resul=
t in 0
>> >> iterations. But neither of those are the case.
>> >=20
>> > I think there is a difference between an empty array and a null, an=
d=20
>> > that is (hopefully) self-evident. I=E2=80=99m talking about the inf=
inite nulls=20
>> > IN the array. You can write a for loop of all possible keys until t=
he=20
>> > end of the universe, and all you will get is null. This is fairly e=
asy=20
>> > to prove. I'll wait... :p
>> >=20
>> What about the difference between an empty array an an array that=20
>> contains a null (Ilija's example)?
>>=20
>> echo count([]);
>> echo count([null]);
>> echo count([null, null]);
>> echo count([null, null, null]);
>> echo count([null, null, null, null]);
>> ...
>>=20
>> You're arguing that these are all the same array?
>>=20
>=20
> If you are accessing them by index, yes, they are all the same array. =
There is no observable difference. I think we already covered that count=
() would show the difference between them since it=E2=80=99s actually a =
count of known indices:

Sorry, I=E2=80=99ve not yet had enough coffee, this should be:

$arr =3D [];

for($i =3D 0; $i < 4; $i++) var_dump($arr[$i]);
>=20
> Will output 4 nulls.=20
>=20
>=20
> =E2=80=94 Rob

=E2=80=94 Rob
--b90a997ac0054fa3a7f9f284aabac60b
Content-Type: text/html;charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title><style type=3D"text/css">
p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div><br></div>=
<div><br></div><div>On Wed, Jun 26, 2024, at 09:54, Rob Landers wrote:<b=
r></div><blockquote type=3D"cite" id=3D"qt" style=3D""><div><br></div><d=
iv><br></div><div>On Wed, Jun 26, 2024, at 00:19, Morgan wrote:<br></div=
><blockquote type=3D"cite" id=3D"qt-qt" style=3D""><div>On 2024-06-26 08=
:24, Rob Landers wrote:<br></div><div>&gt; On Tue, Jun 25, 2024, at 20:2=
3, Ilija Tovilo wrote:<br></div><div><br></div><div>&gt;&gt; If null arr=
ay values were indeed unobservable, then [] would be =3D=3D=3D to<br></d=
iv><div>&gt;&gt; [null] (or at least =3D=3D), and a foreach over [null] =
would result in 0<br></div><div>&gt;&gt; iterations. But neither of thos=
e are the case.<br></div><div>&gt;&nbsp;<br></div><div>&gt; I think ther=
e is a difference between an empty array and a null, and&nbsp;<br></div>=
<div>&gt; that is (hopefully) self-evident. I=E2=80=99m talking about th=
e infinite nulls&nbsp;<br></div><div>&gt; IN the array. You can write a =
for loop of all possible keys until the&nbsp;<br></div><div>&gt; end of =
the universe, and all you will get is null. This is fairly easy&nbsp;<br=
></div><div>&gt; to prove. I'll wait... :p<br></div><div>&gt;&nbsp;<br><=
/div><div>What about the difference between an empty array an an array t=
hat&nbsp;<br></div><div>contains a null (Ilija's example)?<br></div><div=
><br></div><div>echo count([]);<br></div><div>echo count([null]);<br></d=
iv><div>echo count([null, null]);<br></div><div>echo count([null, null, =
null]);<br></div><div>echo count([null, null, null, null]);<br></div><di=
v>...<br></div><div><br></div><div>You're arguing that these are all the=
 same array?<br></div><div><br></div></blockquote><div><br></div><div>If=
 you are accessing them by index, yes, they are all the same array. Ther=
e is no observable difference. I think we already covered that count() w=
ould show the difference between them since it=E2=80=99s actually a coun=
t of known indices:<br></div></blockquote><div><br></div><div>Sorry, I=E2=
=80=99ve not yet had enough coffee, this should be:<br></div><div><br></=
div><div>$arr =3D [];</div><div><br></div><div>for($i =3D 0; $i &lt; 4; =
$i++) var_dump($arr[$i]);<br></div><blockquote type=3D"cite" id=3D"qt" s=
tyle=3D""><div><br></div><div>Will output 4 nulls.&nbsp;<br></div><div><=
br></div><div><br></div><div id=3D"qt-sig121229152">=E2=80=94 Rob<br></d=
iv></blockquote><div><br></div><div id=3D"sig121229152">=E2=80=94 Rob<br=
></div></body></html>
--b90a997ac0054fa3a7f9f284aabac60b--