Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92484 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 15206 invoked from network); 19 Apr 2016 18:52:54 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Apr 2016 18:52:54 -0000 Authentication-Results: pb1.pair.com smtp.mail=zeev@zend.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=zeev@zend.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 65.55.169.133 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 65.55.169.133 mail-bl2on0133.outbound.protection.outlook.com Received: from [65.55.169.133] ([65.55.169.133:13824] helo=na01-bl2-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 5D/D4-22821-48E76175 for ; Tue, 19 Apr 2016 14:52:53 -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=MUVCQyqXUjOJcwcgyzgteTxVMbrZNgAuo7mEjVPJlp4=; b=L61ujnwVqtZbXI0x4fRqmK9qstyMR4/lfgLl+hEDkTKZiU8Ms/QHd9pjEDWUXq/xNdMPhooYReee43oYPrOBHl/KpZ6dQzulRJQaHcDIWollsWs8K9t1zbUWc9Sg37GIGruTplNljTqmj9B7umSkNUrUgszdB976doto/L6Mfsw= 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; Tue, 19 Apr 2016 18:52:49 +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; Tue, 19 Apr 2016 18:52:49 +0000 To: Fleshgrinder CC: "internals@lists.php.net" Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAACMmAgAAdwQCAAAxwgIAFsEHQgACN24CAABWRkA== Date: Tue, 19 Apr 2016 18:52:49 +0000 Message-ID: References: <570E99AC.3090804@fleshgrinder.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> <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> <57166BC9.8020602@fleshgrinder.com> In-Reply-To: <57166BC9.8020602@fleshgrinder.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: fleshgrinder.com; dkim=none (message not signed) header.d=none;fleshgrinder.com; dmarc=none action=none header.from=zend.com; x-originating-ip: [87.70.31.215] x-ms-office365-filtering-correlation-id: 800f735d-3b86-4366-3f5f-08d36883cded x-microsoft-exchange-diagnostics: 1;BY2PR02MB298;5:bIghOMC/lsWEn52wU27ZBmE2porJ2zNeHpHCoVf2RGh/UDWmuDTceJstj31B/7LIogQ1TT8D0zr8LPlg4OfEtSvGZDGOGOxtlvFWbyov/dRxCAlwRFXz0F7v/iOLGfOWS+sheFR1H113Ip8TflDaLMnI0xpz9TY95WAygac4I584yr2B9vI0rZ6mpk4ZiACS;24:rcIL8PlPbe0uEuCpLuS0YE4wt4DzYapbsaQhHA9wsjjjOrpX7KzeGBwfljyTaTvSpl2kb625cSubeuPMk75itwZW/DRg44Dkqpl/pMzh5fc=;7:TP9COhcBh8HcGnPMSNG6hcAQ6vHTNYVLujKM8CQRDsaRyf6Ic0+j3ccC9oCsyIgd0imXx1V6R95Yzs62gw6pJsPsOl6DXx7tTfLneI/OcOzTG/t05jHijYYW9KnzRix5DWiKHaTRmtlXvoCI+c/CqHa6iqRnLiq8uXn5DsYwT2S7ZkunY6gP4QxcsjhdXccntIuckByEiy/anMUjJ+MWNS2XeptT9P3NH55vZ/eEO70= 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)(5005006)(8121501046)(10201501046)(3002001);SRVR:BY2PR02MB298;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB298; x-forefront-prvs: 0917DFAC67 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(13464003)(377454003)(24454002)(87936001)(77096005)(10400500002)(561944003)(5002640100001)(92566002)(122556002)(74316001)(2900100001)(2950100001)(9686002)(66066001)(110136002)(4326007)(5004730100002)(5008740100001)(76576001)(33656002)(189998001)(106116001)(2906002)(11100500001)(50986999)(3280700002)(5003600100002)(19580405001)(19580395003)(3660700001)(6116002)(86362001)(102836003)(81166005)(1096002)(99286002)(586003)(76176999)(1220700001)(93886004)(54356999)(493534005);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: 19 Apr 2016 18:52:49.2847 (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) PiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBGbGVzaGdyaW5kZXIgW21haWx0 bzpwaHBAZmxlc2hncmluZGVyLmNvbV0NCj4gU2VudDogVHVlc2RheSwgQXByaWwgMTksIDIwMTYg ODozMyBQTQ0KPiBUbzogWmVldiBTdXJhc2tpIDx6ZWV2QHplbmQuY29tPjsgTGFycnkgR2FyZmll bGQgDQo+IDxsYXJyeUBnYXJmaWVsZHRlY2guY29tPg0KPiBDYzogaW50ZXJuYWxzQGxpc3RzLnBo cC5uZXQNCj4gU3ViamVjdDogUmU6IFtQSFAtREVWXSBSZTogSW1wcm92aW5nIFBIUCdzIHR5cGUg c3lzdGVtDQo+IA0KPiBPbiA0LzE5LzIwMTYgMTE6NDEgQU0sIFplZXYgU3VyYXNraSB3cm90ZToN Cj4gPiBJdCBjb3VsZCBhY3R1YWxseSBpbXBsZW1lbnQgYWxsIG9mIHRoZW0gLSB0aGUgdHdvIHBh cmVudHMsIGFuZCB0aGUgY2hpbGQuDQo+IFRoYXQgc291bmRzIGxpa2UgYSBwcmV0dHkgZ29vZCwg ZXhwbGljaXQgd2F5IHRoYXQgcmVxdWlyZXMgbm8gDQo+IGludHJvZHVjdGlvbiBvZiBhbnkgbmV3 IHN5bnRheCwgY29uY2VwdHMgb3IgZW5naW5lIGNvbXBsZXhpdHkgaW4gb3JkZXIgDQo+IHRvIGRv IHdoYXQgeW91J3JlIGRlc2NyaWJpbmcuICBUaGlzIHdvcmtzIGZpbmU6DQo+ID4NCj4gPiBpbnRl cmZhY2UgZm9vIHsgZnVuY3Rpb24gZm9vKCk7IH0NCj4gPiBpbnRlcmZhY2UgYmFyIHsgZnVuY3Rp b24gYmFyKCk7IH0NCj4gPiBpbnRlcmZhY2UgYmF6IGV4dGVuZHMgZm9vLGJhciB7fQ0KPiA+DQo+ ID4gY2xhc3MgaW1wbCBpbXBsZW1lbnRzIGZvbywgYmFyLCBiYXogew0KPiA+ICAgZnVuY3Rpb24g Zm9vKCl7fQ0KPiA+ICAgZnVuY3Rpb24gYmFyKCl7fQ0KPiA+IH0NCj4gPg0KPiA+IGZ1bmN0aW9u IHN0aChiYXogJGIpe30NCj4gPg0KPiANCj4gYGNsYXNzIGltcGwgaW1wbGVtZW50cyBiYXoge31g IGlzIGFjdHVhbGx5IGFscmVhZHkgZW5vdWdoIGhlcmUgYmVjYXVzZSANCj4gYGJhemAgZXh0ZW5k cyBgZm9vYCBhbmQgYGJhcmAuDQoNClllcyBJIGtub3dbMV0gLSBpdCB3YXMgaW4gdGhlIGNvbnRl eHQgb2YgTGFycnkncyBwb2ludC4NCg0KPiBUaGlzIGlzIHRoZSBvbmx5IHdheSB0byBzb2x2ZSBz dWNoIHNpdHVhdGlvbnMgcmlnaHQgbm93DQoNCkFuZCBpdCdzIGEgZ29vZCBvbmUhDQoNCj4gYnV0 IGl0IGRvZXMgbm90IGhlbHAgd2l0aCBwcmltaXRpdmUgdHlwZXMuIDooDQoNCldoaWNoIGlzIGZp bmUuICBQcmltaXRpdmUgdHlwZXMgY2FuIGFuZCBzaG91bGQgZ2V0IGRlZGljYXRlZCBzb2x1dGlv bnMuICBUaGVyZSdzIHJlYWxseSBubyBuZWVkIGZvciBhbGxvd2luZyBvdmVyIGNyZWF0aXZpdHkg d2l0aCB1c2VybGFuZC1jdXN0b21pemVkIHNjYWxhciB0eXBlcy4NCg0KPiA+IE9uZSB0aGluZyB3 ZSBjb3VsZCBjb25zaWRlciBpcyBhZGRpbmcgc29tZSBpbnRlbGxpZ2VuY2UgZm9yIHRoZXNlIA0K PiA+IGNhc2VzLCBhbmQNCj4gZm9yIGludGVyZmFjZXMgdGhhdCBvbmx5IGV4dGVuZCBvdGhlciBp bnRlcmZhY2VzICh3aXRob3V0IGFkZGluZyBuZXcNCj4gc2lnbmF0dXJlcykgLSBhIGNsYXNzIHdv dWxkIGJlIGNvbnNpZGVyZWQgdG8gaW1wbGVtZW50IHRoYXQgaW50ZXJmYWNlIA0KPiBpZiBpdCBp bXBsZW1lbnRzIGFsbCBvZiB0aGUgJ3BhcmVudCcgaW50ZXJmYWNlcyB0aGF0IHRoZSBjaGlsZCBp bnRlcmZhY2UgZXh0ZW5kczoNCj4gPg0KPiA+IGNsYXNzIGltcGwgaW1wbGVtZW50cyBmb28sIGJh ciB7DQo+ID4gICBmdW5jdGlvbiBmb28oKXt9DQo+ID4gICBmdW5jdGlvbiBiYXIoKXt9DQo+ID4g fQ0KPiA+DQo+ID4gZnVuY3Rpb24gc3RoKGJheiAkYil7fSAgIDwtLSB3b3VsZCB3b3JrLCBhcyBp bXBsIGltcGxlbWVudHMgYm90aCBmb28gYW5kDQo+IGJhciwgYW5kIGJheiBkb2VzIG5vdGhpbmcg YnV0IGV4dGVuZGluZyB0aG9zZS4NCj4gPg0KPiA+IEknbSBub3Qgc3VyZSB0aGF0J3MgbmVjZXNz YXJ5LCBhbmQgYmVsaWV2ZSB0aGUgY3VycmVudCBtZWNoYW5pc21zIA0KPiA+IGFuZA0KPiBzeW50 YXggc2F0aXNmeSB0aGVzZSB1c2UgY2FzZXMgYWxyZWFkeSwgYnV0IGl0J3MgcHJvYmFibHkgYSBw b3NzaWJpbGl0eS4NCj4gPg0KPiANCj4gVGhhdCBzb3VuZHMgbGlrZSBydW50aW1lIGNoZWNrZWQg ZHVjayB0eXBpbmcuDQo+IFRoaXMgYWN0dWFsbHkgbWFrZXMgdGhlIHR5cGUNCj4gc3lzdGVtIGxl c3Mgc3RyaWN0IGFuZCBtaWdodCBoYXZlIGhvcnJpZmljIHNpZGUgZWZmZWN0cyBhbmQgdGhhdCBp cyANCj4gZXhhY3RseSB0aGUgb3Bwb3NpdGUgb2Ygd2hhdCB1bmlvbi9pbnRlcnNlY3Rpb24gdHlw ZXMgYXJlIG1lYW50IGZvcjoNCg0KTm90IGF0IGFsbC4gIEknbSBwcmV0dHkgc3VyZSB5b3UgbWlz dW5kZXJzdG9vZCB3aGF0IEkgbWVhbnQuDQoNCj4gcHJldmVudGluZyB0aGlzLiBBYm92ZSBjb2Rl IGlzIHRoZSBzYW1lIGFzOg0KPiANCj4gZnVuY3Rpb24gc3RoKCRiKSB7DQo+ICAgICAkYi0+Zm9v KCk7DQo+ICAgICAkYi0+YmFyKCk7DQo+IH0NCj4gW3NuaXBdDQoNCkkgYmVsaWV2ZSB5b3UgdGhp bmsgSSBtZWFudCB0aGF0IGluc3RlYWQgb2YgY2hlY2tpbmcgdGhhdCAkYidzIGNsYXNzIGFjdHVh bGx5IGltcGxlbWVudHMgZm9vIGFuZCBiYXIsIHdlJ2QgY2hlY2sgd2hldGhlciAkYiBoYXMgYWxs IG9mIHRoZSBtZXRob2RzIG5lZWRlZCBieSBmb28gYW5kIGJhciAtIHdoaWNoIG1lYW5zIHRoYXQg dGhlb3JldGljYWxseSBtZWFucyB0aGF0IGl0IG1heSBoYXZlIG1ldGhvZHMgZm9vKCkgYW5kIGJh cigpIGJ1dCBub3QgYWN0dWFsbHkgJ29mZmljaWFsbHknIGltcGxlbWVudCB0aGVpciByZXNwZWN0 aXZlIGludGVyZmFjZXMuICBCdXQgdGhlcmUncyBubyByZWFzb24gdG8gZG8gaXQgdGhpcyB3YXkg YW5kIHRoYXQncyBub3Qgd2hhdCBJIG1lYW50Lg0KSW5zdGVhZCwgd2l0aCBteSBwcm9wb3NhbCwg YSAkYiBvYmplY3Qgd2hvc2UgY2xhc3MgaW1wbGVtZW50cyBib3RoIGZvbyBhbmQgYmFyIC0gd2ls bCBhdXRvbWF0aWNhbGx5IGJlIGFjY2VwdGVkIGFzIG9uZSB0aGF0IGFsc28gaW1wbGVtZW50cyBi YXouICBUaGUgY2hlY2tzIHdpbGwgYmUgY29uZHVjdGVkIGF0IHRoZSBpbnRlcmZhY2UgbGV2ZWws IG5vdCB0aGUgZnVuY3Rpb24gbGlzdCBsZXZlbC4gIEluIG90aGVyIHdvcmRzLCBpZiAkYiBkb2Vz bid0IGV4cGxpY2l0bHkgaW1wbGVtZW50IGJheiwgd2UnZCB0YWtlIGEgbG9vayBhdCAnYmF6Jywg c2VlIGl0J3MgY29tcHJpc2VkIG9mIGZvbyAmIGJhciwgYW5kIGNoZWNrIHdoZXRoZXIgJGIncyBj bGFzcyBpbXBsZW1lbnRzIHRoZW0uDQoNCkF0IHRoaXMgcG9pbnQsIEkgY2FuJ3QgaW1hZ2luZSBh bnkgbmVnYXRpdmUgc2lkZSBlZmZlY3QgdG8gYXV0b21hdGljYWxseSBkZWR1Y2luZyB0aGF0IGFu IG9iamVjdCB0aGF0IGltcGxlbWVudHMgZm9vIGFuZCBiYXIgYWxzbyBpbXBsZW1lbnRzIGJheiAo b3RoZXIgdGhhbiBhIHNtYWxsIHBlcmZvcm1hbmNlIGhpdCwgcHJvYmFibHkgcm91Z2hseSB0aGUg c2FtZSBhcyB0aGUgQU5EIHVuaW9uIHR5cGUpLiAgTGlrZSBJIG1lbnRpb25lZCBpbiBteSBvcmln aW5hbCBwb3N0LCBJIGRvbid0IG5lY2Vzc2FyaWx5IHRoaW5rIGl0J3MgbmVlZGVkIC0gSSBwZXJz b25hbGx5IHNlZSBubyByZWFzb24gbm90IHRvIGFkZCAnYmF6JyB0byB0aGUgbGlzdCBvZiBpbnRl cmZhY2VzIGltcGwgaW1wbGVtZW50cywgb3IgYXMgeW91IHNhaWQsIHJlcGxhY2UgZm9vIGFuZCBi YXIgd2l0aCBiYXogYWx0b2dldGhlci4gIEluIG90aGVyIHdvcmRzLCB0aGUgd2F5IEkgc2VlIEks IFBIUCBhbHJlYWR5IHN1cHBvcnRzIEFORCB1bmlvbiB0eXBlcyB0aHJvdWdoIGludGVyZmFjZXMg YXMgaXQgaXMuDQoNClRoYW5rcywNCg0KWmVldg0KDQoNClsxXSBiaXQubHkvMU5rRG1PQQ0KCQ0K