Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114166
MIME-Version: 1.0
In-Reply-To: <CAGgaK7JxWAG7t5zy83y+X7iXSWhWHbz8ny70En1Rs_WXodsOpA@mail.gmail.com>
References: <f3d20496-c560-42b7-9a0d-8672b3cafa7d@www.fastmail.com>
 <CAJpLVh3Wr9Gr54HU8g58Ea1OfMt78dL1_EUa8z3Wpy2Q84Xrug@mail.gmail.com> <CAGgaK7JxWAG7t5zy83y+X7iXSWhWHbz8ny70En1Rs_WXodsOpA@mail.gmail.com>
Date: Sun, 25 Apr 2021 21:30:57 +0000
Message-ID: <CAJpLVh19rABHUJQn15P2Vd55RjaC3t-+6ejWgKx_JoUytHp0RA@mail.gmail.com>
To: Max Semenik <maxsem.wiki@gmail.com>
Cc: Larry Garfield <larry@garfieldtech.com>, php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Partial function application
From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=)

2021-04-25 21:07 GMT, Max Semenik <maxsem.wiki@gmail.com>:
> On Sun, Apr 25, 2021 at 10:26 PM Larry Garfield <larry@garfieldtech.com>
> wrote:
>
>> https://wiki.php.net/rfc/partial_function_application
>
>
>  Amazing, I've wanted this for so long! Have you considered extending thi=
s
> syntax to OOP, e.g. $obj->method(?) or SomeClass::staticMethod(?)?
>
> On Sun, Apr 25, 2021 at 10:51 PM Olle H=C3=A4rstedt <olleharstedt@gmail.c=
om>
> wrote:
>
>> Nice. :) Are there any other motivating use-cases besides pipe
>> operator (that are relevant for web dev)?
>
>
> One reason I'm personally excited about this proposal is that it would
> allow static analysis in more cases, e.g.
>
> $param =3D 'fooBar'; // What's this string? A user name? Elon Musk's favo=
rite
> color? Text of US Constitution?
>
> somefunc($param);
>
> function somefunc($cb) {
>     $cb(123, 'meh'); // What parameter types does this accept?
> }
>
> Allowing syntax like $param =3D fooBar(?, ?); would indicate clearly what
> this variable receives. Analysis tools would then be able to check if suc=
h
> a function exists and whether it would receive parameters of expected
> types.

Like an alternative to value objects (`class Email ... `)? Not sure I
understand how, sorry.

Olle