Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:112583
To: Sara Golemon <pollita@php.net>
CC: "internals@lists.php.net" <internals@lists.php.net>
Thread-Topic: [PHP-DEV] Straw poll: Naming for `*any()` and `*all()` on
 iterables
Thread-Index: AQHW1kOROymHHd+jAEaQQL1oN/KEl6oB0/yAgAB0iVY=
Date: Tue, 22 Dec 2020 00:48:01 +0000
Message-ID:
 <DM6PR07MB6618A07A2EC02D44E132F18FF9DF0@DM6PR07MB6618.namprd07.prod.outlook.com>
References:
 <DM6PR07MB661827026586104D5DEDAA64F9C20@DM6PR07MB6618.namprd07.prod.outlook.com>,<CAESVnVoDShD_R0qRizmz06Whr4smEPOvy8jCCBJshKGw1jZ9zQ@mail.gmail.com>
In-Reply-To:
 <CAESVnVoDShD_R0qRizmz06Whr4smEPOvy8jCCBJshKGw1jZ9zQ@mail.gmail.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [bNbATlmanmxFMd6mkzwEHTBsGPyg1sUQxq0l73tX8THPg4srh8qrcWpDI/N9xN5h]
x-ms-publictraffictype: Email
x-incomingheadercount: 45
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: 29557e0d-7cec-4088-dbe1-08d8a6133c00
x-ms-traffictypediagnostic: MW2NAM10HT093:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 UUsQ6COEAgs07vO8+cmutac8NxIQnoM0HAzd+lhu69azFKLfdwZmi1/L5k6o+uBmZJFk9LVRjXIFaVDRI2Ho2E3ylJS6yF5CA+cYXllMqqnaXuqKiKt+UdVUmQgMsZs1uYsVbtyWsH1qBB7e9mi3ibpMf+LZNNNxfhZ6MpzljOSkE5jAtWJEvVhkR2cx1fXOPLIms2c3XRc9PuphVSbkgYDnheYDlPGp8cwA1bStRpFbFZdgAfvf4fg/WKZmuGEJRhY0niUgN5+Xfirm5gth+zRENbBVxJZf+XHKNDcjjIk=
x-ms-exchange-antispam-messagedata:
 dQZs6W+WDaXomsv0dlczbtaOoOicm0F+BSNo33mpLngcWkUKz0F4BNxCw9UUPTUlg0pQd+idUAS9xbIPpplB9nXVWegXWndpY5VL05Ojwk/LkDK9My7iNYCfjPYDlvzWlkggCkeg6SB2smxmH6yE/6J+f87uPfE5v3w9hKvnQPOqNYk0kI/LzW2ovhrk+XxjX1FTI/5Sv63hVklxnUhjvA==
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: MW2NAM10FT050.eop-nam10.prod.protection.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 29557e0d-7cec-4088-dbe1-08d8a6133c00
X-MS-Exchange-CrossTenant-originalarrivaltime: 22 Dec 2020 00:48:01.3404
 (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: MW2NAM10HT093
Subject: Re: [PHP-DEV] Straw poll: Naming for `*any()` and `*all()` on
 iterables
From: tysonandre775@hotmail.com (tyson andre)

Hi Sara Golemon,=0A=
=0A=
> This is probably going to be a terrible idea because it involves a little=
 magic but...=0A=
>=0A=
> "iterable" is already a forbidden userspace class name since it's reserve=
d for the psuedo-type=A0which is a union of `Traversable | array`.=0A=
>=0A=
> What if we went ahead and defined an actual (abstract-final) `iterable` c=
lass.=A0 The parser rules which treat `iterable` as a special type still ap=
ply, so we never try to match instances of class `iterable`, but what we ca=
n do is define methods on it.=0A=
>=0A=
> class Iterable {=0A=
>=A0 =A0 static public function any(iterable $iter, Callable $predicate): b=
ool { ... }=0A=
>=A0 =A0 static public function all(iterable $iter, Callable $predicate): b=
ool { ... }=0A=
> }=0A=
>=0A=
> Then the API is both 100% searchable (the man page for iterable can expla=
in that it's a pseudo-type AND that it has helper methods), and intuitive t=
o read/write.=0A=
>=0A=
> if (iterable::any($iter, fn($elem) =3D> $elem =3D=3D=3D 'foo')) {=0A=
>=0A=
> }=0A=
=0A=
My objections to that are:=0A=
=0A=
1. As mentioned in https://wiki.php.net/rfc/any_all_on_iterable_straw_poll#=
rejected_choices , I'd objected to static methods in general because it wou=
ld be inconvenient to polyfill=0A=
    (magic such as __callStatic or disable_classes might be possible but in=
convenient and integrate poorly with IDEs/analyzers)=0A=
=0A=
    (if more than 2/3rs of php developers are in favor of more comprehensiv=
e functionality later on, such as none(), first(), etc.)=0A=
2. The name `iterable::any` would make it impossible to polyfill iterable::=
any()/all() in php 8.0 without using PECLS that modify the internals of php=
 in unsafe ways (class_alias also forbids 'iterable' as an alias). I'd stil=
l prefer IterUtils/IterableUtils:: over iterable::.=0A=
3. For these reasons, I assume static methods have been fairly unpopular on=
 functionality not associated with an object instance, but the main reason =
may be something else.=0A=
=0A=
Also, on an off-topic note, `abstract final` is forbidden for userland clas=
ses, so making it have those flags would be surprising for uses of Reflecti=
on such as code stub generators,=0A=
but forbidding the constructor would be close enough.=0A=
Although I think `abstract final` should be allowed like it is in java,=0A=
I think RFCs that proposed allowing `abstract final` failed by a large marg=
in years ago and I don't plan to reopen that.=0A=
=0A=
Thanks,=0A=
- Tyson=