Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119688
Date: Mon, 13 Mar 2023 20:36:59 +0000
CC: PHP Internals <internals@lists.php.net>
User-Agent: K-9 Mail for Android
In-Reply-To: <CAPzBOBMVnACDUrH=jCKPSNonzcv3Zm4J5yr5h1vVXHVOi872mA@mail.gmail.com>
References: <CAM0CcxhpMr_SstLCgcMfESTo4_H6yAPuBZb6B08KjbnKS97VfA@mail.gmail.com> <9975B833-EE24-4ED7-B28E-841B92988BA0@cschneid.com> <CAPzBOBPP8xy6S4nv2i8t1bgPj0hvFw4seBQ31QFSpA9aeAPyAA@mail.gmail.com> <CALKiJKoW0obHeG+53Yai25BHVDiscW6X7pn-uH+OLBDvvDQJ8Q@mail.gmail.com> <CAPzBOBMVnACDUrH=jCKPSNonzcv3Zm4J5yr5h1vVXHVOi872mA@mail.gmail.com>
Message-ID: <1A2CE63B-ECCA-403D-83AC-B1E26279323C@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] First-class callable partial application
From: rowan.collins@gmail.com (Rowan Tommins)

On 13 March 2023 18:44:48 GMT, Robert Landers <landers=2Erobert@gmail=2Ecom=
> wrote:
>My approach was more of an iterative one=2E
>
>1=2E Get left-right done so that
>
>$x =3D something($left, $right, =2E=2E=2E);
>
>would be allowed, but not
>
>$x =3D something($left, =2E=2E=2E, $right);
>
>This would bring some immediate benefits, as initially proposed=2E


There are three problems I see with that:

1) The choice of syntax for the first version immediately limits the optio=
ns for later additions, so you still need to discuss them=2E (IIRC, the pro=
posal that went to vote had separate ? and =2E=2E=2E tokens, but a number o=
f different variations were experimented with=2E)

2) Most of the goals I mentioned above are not about the syntax, and are n=
o easier for left-to-right - for instance, copying the type information for=
 use in reflection and error messages=2E

3) Unlike purely or primarily functional languages, PHP's standard library=
 is not at all designed with parameter orders that lend themselves to left-=
to-right application=2E I gave array_filter as an example, because it's exa=
ctly the kind of function people will want to use PFA for, but wouldn't be =
able to with left-to-right only=2E

I don't want to put you off exploring this idea, though, so feel free to t=
ake this all with as many pinches of salt as you want=2E

Regards,

--=20
Rowan Tommins
[IMSoP]