Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113115
To: Larry Garfield <larry@garfieldtech.com>, PHP internals
	<internals@lists.php.net>
Thread-Topic: [PHP-DEV] [VOTE] PHP\iterable\any() and all() on iterables
Thread-Index: AQHW/ibG3D0K4gIX3kCegHwWEoc5IqpOVSSAgAA2OhM=
Date: Mon, 8 Feb 2021 18:02:01 +0000
Message-ID:
 <DM6PR07MB6618999C8F1AAC35BF2F8C87F98F9@DM6PR07MB6618.namprd07.prod.outlook.com>
References:
 <DM6PR07MB66189594D6D3B6D820E4A5FBF98F9@DM6PR07MB6618.namprd07.prod.outlook.com>,<77dfe9e5-a6d1-4a41-bceb-454a65cf34d0@www.fastmail.com>
In-Reply-To: <77dfe9e5-a6d1-4a41-bceb-454a65cf34d0@www.fastmail.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [A5HFFUZ5kkXHZKMFUGr19rIVwNSQpafW]
x-ms-publictraffictype: Email
x-incomingheadercount: 44
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: 9c3deff9-e65c-41da-c3bd-08d8cc5ba261
x-ms-traffictypediagnostic: SN1NAM04HT121:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 f5LNQZsk7bwOPtLdqtqjry3CJ/VK7S8m/BUi2sue9FlWP1Ool9Ej/kcf5m+B/zxUVZXUWFQpvKEz6Rp0TadYKVtAkGQbvkRaxAF5qoWeSJBfgXuhJVFIywYWli/Zpbtww55EwU5UAu9z1lSM8Rsea67ESadzPAuxa7kFI8CwFeqmzz+dARxenauXNbpgQmS5MrALz/8QdsL49cyESiJe/PqByAZx7HakElMAu2vFlrS3Sp/VkGYtqCh1ir55iaLf25rhvJ1242dR9gNg5/F9OQVOQ/WG/ZPo2oPVBBvhoWP0u1IPHVYpUO1gdq4gABIfvHJ+6Mv2JXnP5e774+wJ3AXc6OH/G3d+2XBxuo0X6lsdgLel1hvE27jfQTXZx76FqgDIhumW+R+T+0iSnClXHTbj/0NAWKSgBA0pP5S/4oj/y6zmXf9kHMNp8+jU/f+Y
x-ms-exchange-antispam-messagedata:
 qXIDgEO9RtIvsVM184jCregCOxEM3ZNyGneVLPMqMjFRYdqzD2SIxdGBDtyBcKb8MuFzdghDRX0b9X0xbl2AqMnlAN5kVoaPFz+0Dkjj7vX+XLQzuagy9yNqZ0wzCuWfsEURDl6JddG7YRFgxg5Kmw==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: hotmail.com
X-MS-Exchange-CrossTenant-AuthAs: Anonymous
X-MS-Exchange-CrossTenant-AuthSource: SN1NAM04FT003.eop-NAM04.prod.protection.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 9c3deff9-e65c-41da-c3bd-08d8cc5ba261
X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Feb 2021 18:02:01.0721
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SN1NAM04HT121
Subject: Re: [PHP-DEV] [VOTE] PHP\iterable\any() and all() on iterables
From: tysonandre775@hotmail.com (tyson andre)

Hi Larry Garfield,=0A=
=0A=
> > Hi internals,=0A=
> > =0A=
> > Voting has started on https://wiki.php.net/rfc/any_all_on_iterable and =
=0A=
> > ends on 2021-02-22.=0A=
> > =0A=
> > This RFC proposes to add the functions `PHP\iterable\any(iterable =0A=
> > $input, ?callable $callback =3D null): bool` and `PHP\iterable\all(...)=
`=0A=
> > to PHP's standard library's function set, using the namespace preferred=
 =0A=
> > in the previous straw poll.=0A=
> > =0A=
> > There is a primary vote on whether to add the functions, and a =0A=
> > secondary vote on the name to use within the `PHP\iterable` namespace.=
=0A=
> > =0A=
> > Thanks,=0A=
> > - Tyson=0A=
> > --=0A=
> > PHP Internals - PHP Runtime Development Mailing List=0A=
> > To unsubscribe, visit: https://www.php.net/unsub.php=0A=
> =0A=
> =0A=
> Ak!=A0 I literally just finished reading it and wanted to note a lack of =
clarity on one point. :-)=0A=
> =0A=
> The signature of the callback is never specified explicitly.=A0 The terna=
ry is a bit confusing.=A0 I assume the signature is =0A=
> =0A=
> callable(mixed): bool=0A=
> =0A=
> But that's not made explicit.=A0 It's also not made explict that omitting=
 the callable collapses to "is truthy".=A0 That's a sensible thing to do, b=
ut it's not stated explicitly anywhere, just inferred from the code sample.=
=0A=
> =0A=
> I'm not sure if it's safe to clarify at this point as the vote just start=
ed.=0A=
=0A=
If there is a callable, it allows `callable(mixed): mixed`,=0A=
and converts the callable's return value to a boolean.=0A=
So omitting the callable is the same as passing in the callable `fn($x) =3D=
> $x`, which is equivalent to `fn($x) =3D> (bool)$x`.=0A=
This is exactly what the reference implementation would do.=0A=
=0A=
I definitely should have clarified it instead of assuming that the referenc=
e implementation was clear enough.=0A=
=0A=
I clarified this and gave examples because the RFC started a few hours ago =
and the implementation didn't change.=0A=
=0A=
- Tyson=0A=