On Thu, Apr 20, 2023 at 9:57 PM Deleu <deleu...@gmail.com> wrote:
>
>
>
> On Thu, Apr 20, 2023 at 8:23 PM Levi Morrison via internals 
> <internals@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) => $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 😂😂😂😂
>
> --
> 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?)

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to