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

This is only part of a thread. view whole thread
  115457
July 17, 2021 16:10 internals@lists.php.net ("Levi Morrison via internals")
> Pol Dellaiera (https://github.com/drupol) has done a lot of work around > this stuff, specifically the type inference bit, in > https://github.com/loophp/combinator , 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.