Re: [Discussion] Callable types via Interfaces

On Thu, Apr 20, 2023 at 9:57 PM Deleu <deleugyn@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?)