Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:120834
MIME-Version: 1.0
In-Reply-To: <CABAhh3FjjwyZjrpzrES6E1kbRz_czg64-CRxtKw-jkY5JzGYeA@mail.gmail.com>
References: <CAOfzkkxrQOje274RMUW8kv13vBmtNSNd_D9Bq_SJeDEBVA8i7Q@mail.gmail.com>
 <CAJpLVh1hhd=zxSz+T4eZdd7eBD-40muU81eFwhmh3e0n7VGwyQ@mail.gmail.com>
 <8055b366-32f1-4d2c-85d0-0cf665e6c8d3@app.fastmail.com> <CABAhh3FjjwyZjrpzrES6E1kbRz_czg64-CRxtKw-jkY5JzGYeA@mail.gmail.com>
Date: Tue, 18 Jul 2023 15:05:25 +0200
Message-ID: <CAJpLVh3BXQ4rB_5WZK7DopesFgwQ2K5xMD_EgWRQ0-Zd4BF_5A@mail.gmail.com>
To: someniatko <someniatko@gmail.com>
Cc: php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] pipes, scalar objects and on?
From: olleharstedt@gmail.com (=?UTF-8?Q?Olle_H=C3=A4rstedt?=)

2023-07-18 14:48 GMT+02:00, someniatko <someniatko@gmail.com>:
> I am glad this topic arose! I was also planning to write on this topic to
> the internals mailing list, but have abandoned this idea, because I feel it
> might be inconvenient for the real active PHP developers on the list to
> receive too many emails from the people which don't actively participate in
> the development itself.
>
> My interest in the pipe operator might seem a little non-standard -
> basically what I'd really want to see is a **nullable** pipe operator!
>
> There is a popular library github.com/schmittjoh/php-option, which has 250
> MILLION installations. Basically what it provides is a class-wrapper of a
> value of lack thereof: it's either `Some<Type>` or `None`.

I'd just like to mention that the Option type comes from FP and it's
not necessarily needed in PHP-land where we have flow-sensitive type
checkers like Psalm (a nullable type `?int` or such is refined to just
`int` after a null check). Flow-sensitive type-checking was not
invented when the Option type was first created, so adding it to PHP
is basically stepping back in time, from my point of view.

Olle