Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:111756
To: PHP internals <internals@lists.php.net>
Thread-Topic: [RFC] Global functions any() and all() on iterables
Thread-Index: AQHWf/E9QGyttklhzEGaW5Nz9+rdmg==
Date: Mon, 31 Aug 2020 23:56:21 +0000
Message-ID:
 <DM6PR07MB6618683DF0ABBA43C4FC7CB8F9510@DM6PR07MB6618.namprd07.prod.outlook.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 84db2ec2-606a-4443-0617-08d84e097609
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Aug 2020 23:56:21.4560
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW2NAM10HT200
Subject: [RFC] Global functions any() and all() on iterables
From: tysonandre775@hotmail.com (tyson andre)

Hi internals,=0A=
=0A=
I've created an RFC for https://wiki.php.net/rfc/any_all_on_iterable=0A=
=0A=
This was proposed 2 days ago in https://externals.io/message/111711 with so=
me interest=0A=
("Proposal: Adding functions any(iterable $input, ?callable $cb =3D null, i=
nt $use_flags=3D0) and all(...)")=0A=
=0A=
- The $use_flags parameter was removed=0A=
=0A=
The primitives any() and all() are a common part of many programming langua=
ges and help in avoiding verbosity or unnecessary abstractions.=0A=
=0A=
-=A0https://hackage.haskell.org/package/base-4.14.0.0/docs/Prelude.html#v:a=
ny=0A=
-=A0https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Globa=
l_Objects/Array/some=0A=
-=A0https://docs.python.org/3/library/functions.html#all=0A=
-=A0https://docs.oracle.com/javase/8/docs/api/java/util/stream/Stream.html#=
allMatch-java.util.function.Predicate-=0A=
=0A=
For example, the following code could be shortened significantly=0A=
=0A=
```=0A=
// Old version=0A=
$satisifes_predicate =3D false;=0A=
foreach ($item_list as $item) {=0A=
=A0=A0=A0 if (API::satisfiesCondition($item)) {=0A=
=A0=A0=A0=A0=A0=A0=A0 $satisfies_predicate =3D true;=0A=
=A0=A0=A0=A0=A0=A0=A0 break;=0A=
=A0=A0=A0 }=0A=
}=0A=
if (!$satisfies_predicate) {=0A=
=A0=A0=A0 throw new APIException("No matches found");=0A=
}=0A=
=0A=
// New version is much shorter and readable=0A=
if (!any($item_list, fn($item) =3D> API::satisfiesCondition($item))) {=0A=
=A0=A0=A0 throw new APIException("No matches found");=0A=
}=0A=
```=0A=
=0A=
That example doesn't have any suitable helpers already in the standard libr=
ary.=0A=
Using array_filter would unnecessarily call satisfiesCondition even after t=
he first item was found,=0A=
and array_search doesn't take a callback.=0A=
=0A=
A proposed implementation is=A0https://github.com/php/php-src/pull/6053=A0-=
 it takes similar flags and param orders to array_filter().=0A=
=0A=
Thanks,=0A=
- Tyson=