Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92541 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 40599 invoked from network); 20 Apr 2016 13:37:43 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 20 Apr 2016 13:37:43 -0000 Authentication-Results: pb1.pair.com header.from=zeev@zend.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=zeev@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 157.56.111.137 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 157.56.111.137 mail-bn1bon0137.outbound.protection.outlook.com Received: from [157.56.111.137] ([157.56.111.137:34649] helo=na01-bn1-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 70/1A-14036-62687175 for ; Wed, 20 Apr 2016 09:37:43 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=RWSoftware.onmicrosoft.com; s=selector1-zend-com; h=From:To:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=UOdEJUOq+HtG06jLeqjmKvJ/OJ/+myo8smYDf3mRtcQ=; b=IkQSa29OEqa1Hz5DHfo48gRWyAzaYeTjR8XqFCn9RuA1dAijOTqp4bq4TF8CSfA26fYh5KKrsFg8cY6qQMlVmse04qLnKwyYZVfyVixXIwOk6Cna2CvYeZgR0qqx/IEE9LqY+Wd+X/++LPp9DPdN5i2Wz5s74JsZ6j7q0PVWVgA= Received: from BY2PR02MB298.namprd02.prod.outlook.com (10.141.140.21) by BY2PR02MB298.namprd02.prod.outlook.com (10.141.140.21) with Microsoft SMTP Server (TLS) id 15.1.466.19; Wed, 20 Apr 2016 13:37:38 +0000 Received: from BY2PR02MB298.namprd02.prod.outlook.com ([10.141.140.21]) by BY2PR02MB298.namprd02.prod.outlook.com ([10.141.140.21]) with mapi id 15.01.0466.022; Wed, 20 Apr 2016 13:37:38 +0000 To: Tom Worster CC: "internals@lists.php.net" Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAACMmAgAAdwQCAAAxwgIAFsEHQgAChb4CAABdaAIAAA7qwgAARpYCAAADboIAADDkAgAARBYCAAAL1AIAA608AgAAA7LA= Date: Wed, 20 Apr 2016 13:37:37 +0000 Message-ID: References: <5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com> <6F.C3.12455.94C5F075@pb1.pair.com> <20160414094440.GF19347@phcomp.co.uk> <570FD94F.90703@fleshgrinder.com> <570FE8A9.4020809@gmail.com> <20.53.29891.17401175@pb1.pair.com> <57110BCD.5030009@garfieldtech.com> <571124C2.9040606@gmx.de> <57112F31.8070209@garfieldtech.com> <57167C35.8080601@gmail.com> <57168FCC.7000507@garfieldtech.com> <5716BAF9.6000302@gmail.com> <5716BD74.9010101@developersdesk.com> <571782D8.8050901@thefsb.org> In-Reply-To: <571782D8.8050901@thefsb.org> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: thefsb.org; dkim=none (message not signed) header.d=none;thefsb.org; dmarc=none action=none header.from=zend.com; x-originating-ip: [212.199.177.67] x-ms-office365-filtering-correlation-id: efb48f31-4b22-44fb-2fd5-08d36920f057 x-microsoft-exchange-diagnostics: 1;BY2PR02MB298;5:d2/IhGUbl2d5WVqMmwQfN9s55LOqLyvp8P87BTcTaZ2PAwCTxmewPjyL2ZUTxi0VvLzGtvIc0hLh5x81cJhAR9W5RM298ycD0ZDqjvYLiYDqsGYIZ5LSOk7Qiz2n0IvZy7/85RzTLjKEr53HUqS2hCAtgAO6vPegU/1cs5p7uz0590GLy1Me1VLh3/jT6CTU;24:BOAv7KuEbHRzJSEUvfgNMZmRYgIQkXp4Y6jIoB4Zv0pyRR8XhsRnz6P9O2IVBbkjeHodQ+qgbVyAMydYzEHeC4bDQY//NQzbqZ6RuMNIO+c=;7:vu6Q6gf+A9LG3V+Qxt4Xvi/JKmfn1fNeuOXjhcE7hKgvayNBDxRwOfAg1dv3s7niZ3L5PY5a8A1t2PDiwBAxNN3ZwwOCaNCEUlf2ygkiuzR6eg+DMeGEI7RyyexlDWdaBOMlf8hnJRb8E8aAYh1F+1p+TnahnrfPJ+ftgShcbskEJQYRCX0C79lxQii3QVdHOyuyq33IlJyrVzT+Arv0X4fhknj6YAA/Zzqp9oTVZu4= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB298; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:; x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(9101521026)(601004)(2401047)(8121501046)(5005006)(10201501046)(3002001);SRVR:BY2PR02MB298;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB298; x-forefront-prvs: 0918748D70 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(24454002)(13464003)(377454003)(2906002)(11100500001)(86362001)(5003600100002)(50986999)(189998001)(106116001)(99286002)(586003)(1096002)(54356999)(76176999)(93886004)(1220700001)(3846002)(19580395003)(6116002)(102836003)(81166005)(19580405001)(2950100001)(74316001)(5002640100001)(92566002)(76576001)(9686002)(87936001)(77096005)(10400500002)(66066001)(122556002)(33656002)(110136002)(4326007)(5008740100001)(5004730100002);DIR:OUT;SFP:1102;SCL:1;SRVR:BY2PR02MB298;H:BY2PR02MB298.namprd02.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: zend.com X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Apr 2016 13:37:38.0081 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR02MB298 Subject: RE: [PHP-DEV] Re: Improving PHP's type system From: zeev@zend.com (Zeev Suraski) DQoNCj4gLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0NCj4gRnJvbTogVG9tIFdvcnN0ZXIgW21h aWx0bzpmc2JAdGhlZnNiLm9yZ10NCj4gU2VudDogV2VkbmVzZGF5LCBBcHJpbCAyMCwgMjAxNiA0 OjI0IFBNDQo+IFRvOiBSaWNrIFdpZG1lciA8dmNoa3B3QGRldmVsb3BlcnNkZXNrLmNvbT47IGlu dGVybmFsc0BsaXN0cy5waHAubmV0DQo+IFN1YmplY3Q6IFJlOiBbUEhQLURFVl0gUmU6IEltcHJv dmluZyBQSFAncyB0eXBlIHN5c3RlbQ0KPiANCj4gT24gNC8xOS8xNiA3OjIxIFBNLCBSaWNrIFdp ZG1lciB3cm90ZToNCj4gPiBBcmUgdG9vIG1hbnkgb2YgdGhlc2UgaW5jb21wYXRpYmxlIHNoaW55 IHRoaW5ncywgdG9vIGZhc3QsIHRoZSBtYWluDQo+ID4gcmVhc29uIHNvIG1hbnkgUEhQIHVzZXJz IGFyZSBvbiBvbGRlciB2ZXJzaW9ucz8NCj4gPg0KPiA+IElNSE8sIHllcy4NCj4gDQo+IFRoaXMg d291bGQgbWVhbiwgYnkgYW4gbGFyZ2UsIHRoYXQgcGVvcGxlIGhhZCB0cmllZCBhIG1vcmUgcmVj ZW50IHZlcnNpb24gb2YNCj4gUEhQIGFuZCBmb3VuZCB0aGF0IHRoZWlyIGNvZGUgd2FzIGluY29t cGF0aWJsZS4gSSB0aGluayBvbiB0aGUgY29udHJhcnkgdGhhdA0KPiB0aGV5IGhhdmVuJ3QgdHJp ZWQgYmVjYXVzZSB0aGV5IGhhdmUgbGl0dGxlIG1vdGl2ZS4gQSBsb3Qgb2YgcnVubmluZyBhcHBz IGFyZSBpbg0KPiBtYWludGVuYW5jZSBtb2RlIHdpdGggbm8gc2lnbmlmaWNhbnQgaW52ZXN0bWVu dHMgaW4gbmV3IGNvZGUsIHdpdGhvdXQNCj4gd2hpY2ggaXQncyBlYXNpZXIgdG8gdGFrZSB0aGUg YXR0aXR1ZGUgdGhhdCBpdCdzIG5vdCBicm9rZW4gc28gZG9uJ3QgbWVzcyBhcm91bmQNCj4gd2l0 aCBpdC4NCg0KSXQncyBtb3JlIGNvbXBsaWNhdGVkIHRoYW4gdGhhdCAtIHBlb3BsZSBkb24ndCBh Y3R1YWxseSBoYXZlIHRvIHRyeSBhbmQgdXBncmFkZSBpbiBvcmRlciB0byBrbm93IChvciB0aGlu ayB0aGV5IGtub3cpIHRoYXQgdGhleSdsbCBoYXZlIHRvIGludmVzdCB0aW1lIGFuZCBlZmZvcnRz IGluIGdldHRpbmcgdGhlaXIgY29kZSB0byBydW4gb24gYSBuZXcgdmVyc2lvbi4gIFRoZXkgZ3Vl c3MgYXMgbXVjaC4NCg0KVGhhdCBzYWlkLCBJIGRvbid0IHRoaW5rIHRoZSBpc3N1ZSB3aXRoIHNo aW55IG5ldyB0aGluZ3MgaXMgdGhhdCB0aGV5IGludHJvZHVjZSBpbmNvbXBhdGliaWxpdGllcy4g IFRoZXkgcmFyZWx5IGRvIC0gSSB0aGluayB0aGUgYmlnZ2VzdCBzb3VyY2Ugb2YgaW5jb21wYXRp YmlsaXRpZXMgd2UgaGF2ZSBpcyByZW1vdmFsIG9mIGRlcHJlY2F0ZWQgZmVhdHVyZXMgYW5kIG5v dCBpbnRyb2R1Y3Rpb24gb2YgbmV3IG9uZXMuICBTaGlueSBuZXcgZmVhdHVyZXMgaGF2ZSBvdGhl ciBpc3N1ZXMgLSBpbmNyZWFzZWQgY29nbml0aXZlIGJ1cmRlbiwgaW5jcmVhc2VkIGNvZGUgY29t cGxleGl0eSwgZXRjLiAtIGJ1dCB0eXBpY2FsbHkgaW50cm9kdWN0aW9uIG9mIGluY29tcGF0aWJp bGl0aWVzIGlzIG5vdCBvbmUgb2YgdGhlbS4NCg0KSG93ZXZlciwgd2UgY2FuIGxlYXJuIHRoYXQg dGhlIGF0dHJhY3RpdmVuZXNzIG9mIG5ldyBmZWF0dXJlcyBpbiBQSFAgaXMgbm90IHZlcnkgaGln aCAtIG9yIHdlJ2Qgc2VlIG11Y2ggZmFzdGVyIGFkb3B0aW9uIG9mIG5ldyB2ZXJzaW9ucyAod2hp Y2ggYWxzbyBsZWFkcyBtZSB0byBiZWxpZXZlIHRoYXQgd2UncmUgc3BlbmRpbmcgdG9vIG11Y2gg ZWZmb3J0IG9uIHRoZSB3cm9uZyB0aGluZ3MpLiAgSSB0aGluayB3ZSdyZSBnb2luZyB0byBzZWUg bXVjaCBmYXN0ZXIgYWRvcHRpb24gb2YgNy4wIC0gYnV0IGluIG15IGV4cGVyaWVuY2UgYXQgbGVh c3QsIGl0J3MgcHJlZG9taW5hbnRseSB0aGUgaW5jcmVhc2VkIHBlcmZvcm1hbmNlIGFuZCByZWR1 Y2VkIG1lbW9yeSBjb25zdW1wdGlvbiB0aGF0IGdldHMgcGVvcGxlIGV4Y2l0ZWQgLSB0aGUgbmV3 IGZlYXR1cmVzIGFyZSBzZWNvbmRhcnkgaWYgdGhleSBwbGF5IGFueSByb2xlIGF0IHRoZSBkZWNp c2lvbi4NCg0KWmVldg0K