Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120096
MIME-Version: 1.0
References: <6b5de716-d769-4f0b-b3e6-5a5a211f035a@app.fastmail.com>
 <CAAKU0umCUU=Y04EvqLoFj0wo4QmmRPmR=PZ__rxTfeSYU2sOJw@mail.gmail.com> <CADK1yXJFG8bdtgpo_=5rni22vz2Zbpp2FP1BSPhJR5P1GnsO_w@mail.gmail.com>
In-Reply-To: <CADK1yXJFG8bdtgpo_=5rni22vz2Zbpp2FP1BSPhJR5P1GnsO_w@mail.gmail.com>
Reply-To: Levi Morrison <levi.morrison@datadoghq.com>
Date: Thu, 20 Apr 2023 22:25:59 -0600
Message-ID: <CAAKU0ukCFOVrPeNWt-eqDq1AthJ9YXub6+vh8pp1zuXO2JsO9Q@mail.gmail.com>
To: Deleu <deleugyn@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] [Discussion] Callable types via Interfaces
From: internals@lists.php.net ("Levi Morrison via internals")

On Thu, Apr 20, 2023 at 9:57=E2=80=AFPM Deleu <deleugyn@gmail.com> wrote:
>
>
>
> On Thu, Apr 20, 2023 at 8:23=E2=80=AFPM Levi Morrison via internals <inte=
rnals@lists.php.net> wrote:
>>
>> I'm going to stop here. Two big things:
>>
>>  1. I think reducing verbosity can be left for the future. We don't
>> have to solve that right now.
>
>
>
>> What happens if I pass a short-closure?
>>
>>     takeTwo(fn ($x, $y) =3D> $x + $y);
>>
>> I would be annoyed if I had to write the type info, but particularly
>> the return type.
>
>
>  Sorry for the unhelpful email, but does anybody else see the irony here?=
 It's just too funny to not be mentioned =F0=9F=98=82=F0=9F=98=82=F0=9F=98=
=82=F0=9F=98=82
>
> --
> Marco Deleu

Sure, I get that ^_^ But the difference is that there are quite a few
ways we can solve the first verbosity (allowing `fn` instead of
`callable`, allowing type aliases which could also be useful for
unions, etc), and only things that seem hard to solve the second one
(static type inference? delayed type checks?)