Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92777
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 207.46.100.144 as permitted sender)
To: Levi Morrison <morrison.levi@gmail.com>, internals
	<internals@lists.php.net>
CC: Bob Weinand <bobwei9@hotmail.com>, Joe Watkins <pthreads@pthreads.org>
Thread-Topic: [PHP-DEV] [RFC] Patch for Union and Intersection Types
Thread-Index: AQHRn0t8HUIa69RiokmK3RsmiQ6ep5+cOtH7
Date: Tue, 26 Apr 2016 13:33:54 +0000
Message-ID: <CY1PR0201MB1786D216DB7CE6D61B61E9D7BF630@CY1PR0201MB1786.namprd02.prod.outlook.com>
References: <CAFMT4Npe8hJ1HOeJB3kfN11fnmyzRGi6znuR=Ay8kHds-ogSXQ@mail.gmail.com>
In-Reply-To: <CAFMT4Npe8hJ1HOeJB3kfN11fnmyzRGi6znuR=Ay8kHds-ogSXQ@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
spamdiagnosticoutput: 1:23
spamdiagnosticmetadata: NSPM
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-originalarrivaltime: 26 Apr 2016 13:33:54.2696
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY1PR0201MB1787
Subject: [PHP-DEV] [RFC] Patch for Union and Intersection Types
From: dmitry@zend.com (Dmitry Stogov)

hi Levi,

It looks like your "work" on "Nullable Types" RFC was intended to win time =
for this patch and block "Nullable Types" again.
Actually, you have been blocking it for more than a year :(

I'm going to push my own RFC for voting together with "Union Types".

https://wiki.php.net/rfc/nullable_return_types

At least, it has up to date implementation.

We discussed this internally 2-3 weeks ago, and my politeness (or/and stupi=
dity) allowed you  to pass your version for common discussion.
Now I can see your real reason :(

Both "Union Types" and "Nullable Types" may make sense, and both should be =
voted at the same time.
Tomorrow is time to start voting. Right?

Thanks. Dmitry.


________________________________________
From: Levi Morrison <morrison.levi@gmail.com>
Sent: Tuesday, April 26, 2016 02:37
To: internals
Subject: [PHP-DEV] [RFC] Patch for Union and Intersection Types

Internals,

Joe Watkins and Bob Weinand have worked out a [proof-of-concept patch
for union types][1]. Please go download it and experiment with it.

A few things to note:

  * This patch includes intersection types. However, a type expression
must be either a union type or an intersection type; it doesn't
support both such as `Array | (Countable & Traversable)`.
  * This patch adds `null`, `true` and `false` for type declarations.
  * This patch includes conversion rules for weak types.
  * It does not have short-hand for unions with null (`?Foo` being `Foo | N=
ull`)

These features (or omitted ones) are not necessarily what will be
voted on. Rather this patch allows us to experiment with these
features in code. This experience should be helpful for us to solidify
how we actually feel about these features.

I especially would like people to try out the conversion rules for
scalar types as it has been a point of discussion.

  [1]: https://github.com/php/php-src/pull/1887

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php