Re: [PHP-DEV] [Vote] Pipe operator v2

This is only part of a thread. view whole thread
July 17, 2021 16:10 ("Levi Morrison via internals")
> Pol Dellaiera ( has done a lot of work around > this stuff, specifically the type inference bit, in > , so I see hope to get better types at > a later stage.
I don't see a pipe combinator in there, but maybe I can't see it through the poor formatting of the table... It's been a while since I delved deep into type theory, but I am not aware of any language which supports this sort of type safety in functions while being variadic. Are you aware of any? The only ones I am aware of use macros, which are different as they are evaluated and expanded at compile time.