Re: [Vote] Pipe operator v2
| From: | Levi Morrison via internals | Date: | Sat, 17 Jul 2021 16:10:01 +0000 |
| Subject: | Re: [Vote] Pipe operator v2 | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-115457@lists.php.net to get a copy of this message | ||
> 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.