Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115457
MIME-Version: 1.0
References: <6a2ef792-9624-4355-ad08-dcc7bfa5e19f@www.fastmail.com> <CADyq6sJFmNiVSJPTGnjQOXGMFeezRLUCPbM6rJ3jooAVKPfXxA@mail.gmail.com>
In-Reply-To: <CADyq6sJFmNiVSJPTGnjQOXGMFeezRLUCPbM6rJ3jooAVKPfXxA@mail.gmail.com>
Reply-To: Levi Morrison <levi.morrison@datadoghq.com>
Date: Sat, 17 Jul 2021 10:10:01 -0600
Message-ID: <CAAKU0ukFqcFTEWHtB_yy-YtopUybUtO_-CfSja0H_QfNt3w4jg@mail.gmail.com>
To: Marco Pivetta <ocramius@gmail.com>
Cc: Larry Garfield <larry@garfieldtech.com>, php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [Vote] Pipe operator v2
From: 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.