Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101412
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.52 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <72392123-d37b-26df-6886-218f48205f8a@fleshgrinder.com>
References: <72392123-d37b-26df-6886-218f48205f8a@fleshgrinder.com>
Date: Sun, 24 Dec 2017 17:30:22 +0100
Message-ID: <CAF+90c-AxLyE0sXDpY7k8B1teqoU2oANDdvOHsGn1o5B-xXZVw@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="001a113faf50f95d2605611890da"
Subject: Re: [PHP-DEV] [RFC] [DISCUSSION] Scalar Pseudo-type
From: nikita.ppv@gmail.com (Nikita Popov)

--001a113faf50f95d2605611890da
Content-Type: text/plain; charset="UTF-8"

On Sun, Dec 24, 2017 at 3:34 PM, Fleshgrinder <php@fleshgrinder.com> wrote:

> Hi Internals!
>
> I prepared a PR to add the `scalar` pseudo-type to PHP after the
> discussions around adding a `mixed` pseudo-type. I strongly believe that
> it makes sense to provide the most common primitive union types with
> handy aliases even if we are going to add union types in the future to PHP.
>
> https://github.com/php/php-src/pull/2987
>
> I added support for parameter type covariance and return type
> contravariance to make it as useful in daily development as possible.
>
> I will provide the RFC write-up asap at:
>
> https://wiki.php.net/rfc/scalar-pseudo-type
>

I think this RFC could benefit from displaying some use-cases for this type
annotation. I can't recall any recent instance where I would have found
this specific type combination useful, though I'm sure there are good
examples.

I also wonder whether in weak typing mode, scalar should also accept
__toString objects (and cast them to string), similarly to how a
bool|int|float|string union would behave.

Nikita

--001a113faf50f95d2605611890da--