Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129888
Date: Fri, 23 Jan 2026 13:06:11 +0000
To: =?utf-8?Q?Tim_D=C3=BCsterhus?= <tim@bastelstu.be>
Cc: php internals <internals@lists.php.net>, Arnaud Le Blanc <arnaud.lb@gmail.com>
Subject: Re: [PHP-DEV] [RFC] Partial Function Application for instance of non-static methods ("$this")
Message-ID: <rS4_1a-GEl19k0GxV-OnAgzt72sSHSj3yrzM_WxgNYQZjteWCihwhLtuZ46izJnsUx4__SpnfcmOUUrOSj5awt7lQIqAunQNqJBU6DdAS_g=@rochette.cc>
In-Reply-To: <a8f1497a5911fcc57b6ff629f699b4f1@bastelstu.be>
References: <64953ec741a4c6609519e1878ad37b54@bastelstu.be> <wwr02MDUjysYugydf_V99E8jNyEuwz7GZT-rmfAVsoALZFrAN65ONxgj5wp8INBzID-d3ZldSlOC40zoVqXEFSVZsGPSwQp_sbqQL0FA6no=@rochette.cc> <a8f1497a5911fcc57b6ff629f699b4f1@bastelstu.be>
Feedback-ID: 37040780:user:proton
Precedence: list
MIME-Version: 1.0
Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha512; boundary="------e2452454a84a44a90add1a588128e9e96590676bcadca11aa281397273445635"; charset=utf-8
From: mathieu@rochette.cc (Mathieu Rochette)

This is an OpenPGP/MIME signed message (RFC 4880 and 3156)
--------e2452454a84a44a90add1a588128e9e96590676bcadca11aa281397273445635
Content-Type: multipart/mixed;boundary=---------------------9677d71739fa917fbf6ceb4ecbee0bd9

-----------------------9677d71739fa917fbf6ceb4ecbee0bd9
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;charset=utf-8





Mathieu Rochette


On Friday, January 23rd, 2026 at 09:37, Tim D=C3=BCsterhus <tim@bastelstu.=
be> wrote:

> Hi
> =


> Am 2026-01-22 18:30, schrieb
> =


> Mathieu Rochette
> =


> :
> =


> > I often whished something like this existed :) Didn't get trough to
> > suggest it because I wasn't sure of the syntax either (and lazyness)
> =


> =


> Thank you for participating in the discussion of this RFC then. Having
> more voices available helps building things that suit the community best
> :-)
> =


> > still, my syntax suggestions:
> > =


> > array_map(DateTimeImmutable->format("c"), $dates);
> =


> =


> Unfortunately this doesn't work, because it is a already-legal method
> call on a method stored in the constant called `DateTimeImmutable`. See:
> https://3v4l.org/3khkT#veol

ohhh

then, continuing on bikeshedding, I think I still prefer `?::DateTimeImmut=
able->format("c")` or `(? as DateTimeImmutable)->format("c")` as Larry men=
tioned.

`(DateTimeImmutable)?->format("c")` feels a bit weird. Reminds me too much=
 of the null-safe operator.

> =


> > I noticed `?->method(?)` was considered; evne if it was possible, I
> > would prefer if the type was explict, as you may want to use an
> > interface name (or a union type, etc.) too
> =


> =


> Union types would likely be unsupported either way, since multiple
> members of the union could have incompatible signatures for the same
> =



They could have incompatible signatures, yes, but they also could have com=
patible ones too. It's not a deal breaker. I don't imagine needing this in=
 practice. But I don't see why the language would prevent that; I can alre=
ady make that mistake with short closures or any methods. For me, it's the=
 role of the static analyzer to tell me if I made such a mistake (or runti=
me errors ^^). =



> Interfaces are fully supported with the currently proposed
> syntax (it's explicitly mentioned in the RFC).
> =


> Best regards
> Tim D=C3=BCsterhus
-----------------------9677d71739fa917fbf6ceb4ecbee0bd9
Content-Type: application/pgp-keys; filename="publickey - mathieu@rochette.cc - 0x8D30BA0E.asc"; name="publickey - mathieu@rochette.cc - 0x8D30BA0E.asc"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="publickey - mathieu@rochette.cc - 0x8D30BA0E.asc"; name="publickey - mathieu@rochette.cc - 0x8D30BA0E.asc"

LS0tLS1CRUdJTiBQR1AgUFVCTElDIEtFWSBCTE9DSy0tLS0tCgp4ak1FWVFLZkNoWUpLd1lCQkFI
YVJ3OEJBUWRBa1BDZHlabHI5bmZBMHdJcUJXSGl6dnRQNTQ5MTFQWDgKdkowcGp4T0JabHJOS1cx
aGRHaHBaWFZBY205amFHVjBkR1V1WTJNZ1BHMWhkR2hwWlhWQWNtOWphR1YwCmRHVXVZMk0rd284
RUVCWUtBQ0FGQW1FQ253b0dDd2tIQ0FNQ0JCVUlDZ0lFRmdJQkFBSVpBUUliQXdJZQpBUUFoQ1JE
SWdrVGc3MTk3UnhZaEJJMHd1ZzZMaWxERVUvYVBPY2lDUk9EdlgzdEh1Z29CQUtTcFdzNmcKWVdh
bUU5Wkc5WGV5V2VxQVFLUnZwaUtJdnNoQzRlckNvNVVEQVA5VGNHMW5rWERiYTlIOTRpM2Y4Q3ZY
CkZhK2kxM1ljTktUZU55ZllaUFFnQmM0NEJHRUNud29TQ2lzR0FRUUJsMVVCQlFFQkIwQ0hrOFBU
dWJOMQpkR0Z6WjlscFVKYW5KbjA1RDJmaUhZOGY1N3QzeGxheUlnTUJDQWZDZUFRWUZnZ0FDUVVD
WVFLZkNnSWIKREFBaENSRElna1RnNzE5N1J4WWhCSTB3dWc2TGlsREVVL2FQT2NpQ1JPRHZYM3RI
dGNBQS8xWlNrVFVKCkU1TzU4bUR5VTNSeFFyVjNVQVA3U3BaamN1T0pKSTRTRzE5TUFQOXlIU3Rq
dDJXa3IxS0o5c0VNeXY5aQprb0xNS2VZa3Q5RXlyUFM5bDdsUkRnPT0KPTNIZE8KLS0tLS1FTkQg
UEdQIFBVQkxJQyBLRVkgQkxPQ0stLS0tLQo=
-----------------------9677d71739fa917fbf6ceb4ecbee0bd9--

--------e2452454a84a44a90add1a588128e9e96590676bcadca11aa281397273445635
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: ProtonMail

wrsEARYKAG0FgmlzcjoJEMiCRODvX3tHRRQAAAAAABwAIHNhbHRAbm90YXRp
b25zLm9wZW5wZ3Bqcy5vcmfeAbrAMn7myx6UYDSPyfT2rtfix9ThVOqVw6Kc
aXm3ZhYhBI0wug6LilDEU/aPOciCRODvX3tHAABXZgD7BFG0ddr8Jcemjtng
/mK+sGKsA9sMt+Yy3zGP/h7K+z8A/2RoZs0b/1F1gX5sheuq4A4gzyZCQOpL
oufjMMoBXrUL
=xP+p
-----END PGP SIGNATURE-----


--------e2452454a84a44a90add1a588128e9e96590676bcadca11aa281397273445635--