Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:101383
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.128.171 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <CAH0Uv3GDKzuyTX6viSmPNJtSspvVWPaekyavv4rnpNNu8Lovcw@mail.gmail.com>
References: <CAO7eTqNQ5T7=9pYC_q35ETnBDzNwEeSjvuvvv_uy3+LmEjcovw@mail.gmail.com>
 <a3f0e7dd-0afe-b44e-80ba-489e0f2b6ddd@gmail.com> <3a8054fd-b99f-771f-1f6c-29cf198acdeb@phpgangsta.de>
 <CAH0Uv3GRaZN4KW93ZyZautS2jQj-puvYEMNWKBPyzYV=15WBgg@mail.gmail.com>
 <CAH0Uv3F1cm8qaYxU6DwN6A+yFTkbExDmPOqhaMCW1sdH0Pg1nA@mail.gmail.com> <CAH0Uv3GDKzuyTX6viSmPNJtSspvVWPaekyavv4rnpNNu8Lovcw@mail.gmail.com>
Date: Tue, 19 Dec 2017 08:28:29 -0700
Message-ID: <CAFMT4NrxYDGox5gBVpfsqx=0+jp1pwZ21Ph96194ExnGru-iFQ@mail.gmail.com>
To: Andreas Hennings <andreas@dqxtech.net>
Cc: Michael Kliewe <info@phpgangsta.de>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] Mixed Typehint
From: levim@php.net (Levi Morrison)

On Tue, Dec 19, 2017 at 4:47 AM, Andreas Hennings <andreas@dqxtech.net> wrote:
> On 19 December 2017 at 08:06, Fleshgrinder <php@fleshgrinder.com> wrote:
>> What is really needed are `scalar`, `number`, union types, intersection
>> types, and all that together with generics.
>
> Do we have ongoing discussions or RFCs for those already?
> I know we have one for generics, which seems somehow stuck,
> https://wiki.php.net/rfc/generics

No. Work is quietly being done on parameterized types (aka generics) here:

    https://github.com/morrisonlevi/php-src/tree/parameterized_traits

There really isn't a lot to discuss at this stage anyway; the
technical implementation is paramount.

> What would "scalar" mean exactly? string+int+float?

Scalar and number are just ways of naming certain union types which
feature was already declined. Maybe a single RFC which targets both
union and intersection types would pass. Our `is_scalar` function
returns true for integer, float, string or boolean; a scalar type
should mirror that definition: int | float | string | bool.

> I would sometimes like a string+int, for "everything that can be an array key".

This is just another named union for `string | int`.