Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92539
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 65.55.169.141 as permitted sender)
To: Jesse Schalken <me@jesseschalken.com>
CC: PHP internals <internals@lists.php.net>
Thread-Topic: [PHP-DEV] Re: Improving PHP's type system
Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAHYpoAgAAekQCAAAbtgIAACnWggAASYQCAABDstQ==
Date: Wed, 20 Apr 2016 12:55:19 +0000
Message-ID: <8D27A75B-E705-49E1-8ACD-B95E4DEDA383@zend.com>
References: <CAFMT4Nq+VdfYS+eKbdbmPr92-X1QYCE2eOtPGo6Zu1qgAOGkhA@mail.gmail.com>
	<CAFMT4Nq=QPN9fOMtKa7GDDkf-AECAXjN9WRtn84nUjtKK-zD7w@mail.gmail.com>
	<570E99AC.3090804@fleshgrinder.com>
	<CAFMT4Nq7JV=iv=_AKjez+B8JxZ+rucD4LkEJgHuUg15o7r2hMg@mail.gmail.com>
	<570EA5EB.8090501@fleshgrinder.com>	<570EAB0D.6080706@gmail.com>
	<570EB67E.8010908@garfieldtech.com>
	<5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com>
	<6F.C3.12455.94C5F075@pb1.pair.com>	<20160414094440.GF19347@phcomp.co.uk>
	<CAKSD0w6Gd7uN2L=d3VfnK-Mj+cwjpcGtCpjfD6iq+VMmJVxkhA@mail.gmail.com>
	<570FD94F.90703@fleshgrinder.com>	<570FE8A9.4020809@gmail.com>
	<20.53.29891.17401175@pb1.pair.com>
	<CAF1yvAToWKqcj4-0xoTC_B9n2+DFLuNwKrf2Te3zNWwB7n5ziw@mail.gmail.com>
	<1461145606.7556.11.camel@kuechenschabe>
	<CAF1yvATYTn+tWYk12WeqysAWVRH7G+WCz5WwgMTAZgNq2BSJZg@mail.gmail.com>
	<BY2PR02MB298D646863DE50029C9FC55AC6D0@BY2PR02MB298.namprd02.prod.outlook.com>,<CAF1yvAQaP34X9K1duM1rMWDDO=FbJYEb-yP2kE2q_k39NBq8qQ@mail.gmail.com>
In-Reply-To: <CAF1yvAQaP34X9K1duM1rMWDDO=FbJYEb-yP2kE2q_k39NBq8qQ@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
spamdiagnosticoutput: 1:23
spamdiagnosticmetadata: NSPM
Content-Type: multipart/alternative;
	boundary="_000_8D27A75BE70549E18ACDB95E4DEDA383zendcom_"
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Apr 2016 12:55:19.8450
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR02MB297
Subject: Re: [PHP-DEV] Re: Improving PHP's type system
From: zeev@zend.com (Zeev Suraski)

--_000_8D27A75BE70549E18ACDB95E4DEDA383zendcom_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable


On 20 ????? 2016, at 14:54, Jesse Schalken <me@jesseschalken.com<mailto:me@=
jesseschalken.com>> wrote:

If I had "scalar", "number" and ?T as types, the types I would need would b=
e:

  1.  ?scalar|Decimal

What's decimal?  I'm not aware we have that type.  Apologies if I missed it=
 that it was added.

  1.  ?scalar|Decimal|Expr

What's Expr?  Again I'm not aware that we have that type.

In both, a nullable scalar does the job.

  1.  ?scalar|array

Conduct this check in user code, you'd have to anyway.

  1.  int|string (I want int|string here. I know array keys are always int|=
string. A wider type is lies.)

This is needlessly purist.  For handling a meaningless con, we'd overcompli=
cate the language and provide a footgun(tm) for everyone.  Not a good barga=
in.

  1.  ?scalar (probably)

Ok

  1.  number

Ok

  1.  T|false

You didn't answer my question on this one.

  1.  ?T

Ok

5 out of 8 still need a union.

Actually, in my count only one of them does (#7) and it's probably solvable=
 (if it's even a thing), and in another, it makes no sense to use types at =
all (#3) as you'd have to do these checks in userland anyway.  All others c=
an be satisfied just fine with scalar, numeric and nullable types, unless y=
ou're being needlessly purist - and we're not going to overcomplicate the l=
anguage for the sake of purism.

Zeev

--_000_8D27A75BE70549E18ACDB95E4DEDA383zendcom_--