Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92543 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 44469 invoked from network); 20 Apr 2016 14:00:19 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 20 Apr 2016 14:00:19 -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 207.46.100.126 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 207.46.100.126 mail-by2on0126.outbound.protection.outlook.com Received: from [207.46.100.126] ([207.46.100.126:34592] helo=na01-by2-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 4B/CA-14036-17B87175 for ; Wed, 20 Apr 2016 10:00:18 -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=NhIUf5fRopwbxCnMrEeIh4aJIQlAqMTCtDvS0wdVejM=; b=JZis4WzWbPb1JIpVqr5/Np24fDPwuZYmFNNlRHfBxFgFdWuevQKazCMAkMppkz9DZW9zenMXXLKd8tk5SUVt3xqPdOM87GFuxEOJSojLFtexn2b5PXGGQMr9cy19ZnudfguYK06KUem+/9rOccr90ydo4hDYKNgZExvd43F3sD0= Received: from BY2PR02MB298.namprd02.prod.outlook.com (10.141.140.21) by BY2PR02MB300.namprd02.prod.outlook.com (10.141.140.26) with Microsoft SMTP Server (TLS) id 15.1.466.19; Wed, 20 Apr 2016 14:00:09 +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 14:00:09 +0000 To: Jesse Schalken CC: PHP internals Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAHYpoAgAAekQCAAAbtgIAACnWggAASYQCAABDstYAADQMAgAAAhbA= Date: Wed, 20 Apr 2016 14:00:09 +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> <1461145606.7556.11.camel@kuechenschabe> <8D27A75B-E705-49E1-8ACD-B95E4DEDA383@zend.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: jesseschalken.com; dkim=none (message not signed) header.d=none;jesseschalken.com; dmarc=none action=none header.from=zend.com; x-originating-ip: [212.199.177.67] x-ms-office365-filtering-correlation-id: a2ad1974-7806-44d2-97f4-08d3692415be x-microsoft-exchange-diagnostics: 1;BY2PR02MB300;5:W+ikUTyaDAxJPODy5q6X76QZvXmEBwiCf+y6RLVDjPlz1+m9YhS8vWoibHMdZjCNp7HcIRSJR65MmI9XOmCBHxvgaj1PqrNC5bg5+Pl/m4xaJHMgSHZeIh9X0SusKXaZPeh1XsC0AASSQpLwjig/dcSMwqk48PeOMYFlvncsBFzDzk7LQp7rraYuBMGGT0Te;24:vpE2NGYLvkB0r9IA7rNniynBmUtfikmftWOKbFEwHGYa75zWL/XA/TfBrakIPdhLygCu5dz1EEfsTaE8VzOycF2wvh3hvfAIEZuLDwMFpEs=;7:V4shkxlnWf4LI0ich0m5CdKsrBmvdDuvs2X0BqqG3+t/lPE0OXljDqHk3UOhTBnwY9+Oze3EmdbHrmQkbmm0i03z6H0p/IKugvyEaFL1g5djp12BO88/ZIL+imqz7oBgntjFvrRLd5+sF0xIIRWxGDUnq6HOrdqqgfTTaDDFCe7Pv9TtSf5MlOrCVtWkV5xG/jR5AeEvmrjzI8H9Anju1UKhnER20NSK3bTD5Zfq9uY= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB300; 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:BY2PR02MB300;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB300; x-forefront-prvs: 0918748D70 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(24454002)(377454003)(2906002)(586003)(790700001)(102836003)(122556002)(6116002)(5004730100002)(19580405001)(11100500001)(19580395003)(189998001)(110136002)(16236675004)(5002640100001)(2950100001)(77096005)(9686002)(1220700001)(76576001)(3846002)(15975445007)(99286002)(1096002)(92566002)(5008740100001)(4326007)(81166005)(106116001)(10400500002)(86362001)(19625215002)(19609705001)(93886004)(33656002)(76176999)(54356999)(50986999)(74316001)(87936001)(19300405004)(5003600100002)(66066001);DIR:OUT;SFP:1102;SCL:1;SRVR:BY2PR02MB300;H:BY2PR02MB298.namprd02.prod.outlook.com;FPR:;SPF:None;MLV:sfv;LANG:en; spamdiagnosticoutput: 1:23 spamdiagnosticmetadata: NSPM Content-Type: multipart/alternative; boundary="_000_BY2PR02MB2988D5604626FCDDF5F4B00AC6D0BY2PR02MB298namprd_" MIME-Version: 1.0 X-OriginatorOrg: zend.com X-MS-Exchange-CrossTenant-originalarrivaltime: 20 Apr 2016 14:00:09.2829 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR02MB300 Subject: RE: [PHP-DEV] Re: Improving PHP's type system From: zeev@zend.com (Zeev Suraski) --_000_BY2PR02MB2988D5604626FCDDF5F4B00AC6D0BY2PR02MB298namprd_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 DQoNCkZyb206IGplc3Nlc2NoYWxrZW5AZ21haWwuY29tIFttYWlsdG86amVzc2VzY2hhbGtlbkBn bWFpbC5jb21dIE9uIEJlaGFsZiBPZiBKZXNzZSBTY2hhbGtlbg0KU2VudDogV2VkbmVzZGF5LCBB cHJpbCAyMCwgMjAxNiA0OjQyIFBNDQpUbzogWmVldiBTdXJhc2tpIDx6ZWV2QHplbmQuY29tPg0K Q2M6IFBIUCBpbnRlcm5hbHMgPGludGVybmFsc0BsaXN0cy5waHAubmV0Pg0KU3ViamVjdDogUmU6 IFtQSFAtREVWXSBSZTogSW1wcm92aW5nIFBIUCdzIHR5cGUgc3lzdGVtDQoNCg0KDQpPbiBXZWQs IEFwciAyMCwgMjAxNiBhdCAxMDo1NSBQTSwgWmVldiBTdXJhc2tpIDx6ZWV2QHplbmQuY29tPG1h aWx0bzp6ZWV2QHplbmQuY29tPj4gd3JvdGU6DQoNCk9uIDIwINeR15DXpNeo17MgMjAxNiwgYXQg MTQ6NTQsIEplc3NlIFNjaGFsa2VuIDxtZUBqZXNzZXNjaGFsa2VuLmNvbTxtYWlsdG86bWVAamVz c2VzY2hhbGtlbi5jb20+PiB3cm90ZToNCklmIEkgaGFkICJzY2FsYXIiLCAibnVtYmVyIiBhbmQg P1QgYXMgdHlwZXMsIHRoZSB0eXBlcyBJIHdvdWxkIG5lZWQgd291bGQgYmU6DQoNCiAgMS4gID9z Y2FsYXJ8RGVjaW1hbA0KDQpXaGF0J3MgZGVjaW1hbD8gIEknbSBub3QgYXdhcmUgd2UgaGF2ZSB0 aGF0IHR5cGUuICBBcG9sb2dpZXMgaWYgSSBtaXNzZWQgaXQgdGhhdCBpdCB3YXMgYWRkZWQuDQoN CkFzIEkgc2FpZDoNCg0KSSBoYXZlIGEgZnVuY3Rpb24gdGhhdCBjb252ZXJ0cyB2YWx1ZXMgdG8g U1FMIHdoaWNoIGhhdmUgU1FMIGVxdWl2YWxlbnRzLCBpbmNsdWRpbmcgZGVjaW1hbCB2YWx1ZXMg cmVwcmVzZW50ZWQgYnkgYSBzcGVjaWFsIERlY2ltYWwgY2xhc3MuIEl0IGFjY2VwdHMgaW50fHN0 cmluZ3xib29sfG51bGx8ZmxvYXR8RGVjaW1hbC4NCg0KWmVldj4gU28ganVzdCB1c2UgYSBjb250 YWluZXIgY2xhc3MgKFNRTFZhbHVlIG9yIHdoYXRub3QpIHRoYXQgY2FuIGluY2x1ZGUgYSBzY2Fs YXIgb3IgYSBEZWNpbWFsLCBhbmQgdXNlIHRoaXMgaW5zdGVhZC4gIEl0IHdvdWxkIHByb2JhYmx5 IHJlc3VsdCBpbiBhIGNsZWFuZXIgZnVuY3Rpb24gYm9keSBhbnl3YXkuDQoNCg0KICAxLiAgP3Nj YWxhcnxEZWNpbWFsfEV4cHINCg0KV2hhdCdzIEV4cHI/ICBBZ2FpbiBJJ20gbm90IGF3YXJlIHRo YXQgd2UgaGF2ZSB0aGF0IHR5cGUuDQoNCkFzIEkgc2FpZDoNCg0KSSBoYXZlIGEgY2xhc3MgRXhw ciB3aGljaCByZXByZXNlbnRzIGFuIGV4cHJlc3Npb24gaW4gU1FMLiBFeHByZXNzaW9ucyBjYW4g YmUgY29tcG9zZWQgb2Ygb3RoZXIgZXhwcmVzc2lvbnMsIGFuZCBvZiBsaXRlcmFsIHZhbHVlcywg c28gdGhlIGNvbnN0cnVjdG9ycyBmb3IgRXhwcnMgYWNjZXB0IGludHxzdHJpbmd8Ym9vbHxudWxs fGZsb2F0fERlY2ltYWx8RXhwci4NCg0KWmVldj4gU2FtZSBhcyBhYm92ZS4gIEFub3RoZXIgb3B0 aW9uIG9mIGNvdXJzZSBpcyB0byBoYW5kbGUgdGhlIHR5cGUgY2hlY2tzIGluc2lkZSDigJMgdGhh dCBkZXBlbmRzIG9uIHdoZXRoZXIgeW91IHdhbnQgdG8gaGFuZGxlIHRoZSBkZXRhaWxzIGluc2lk ZSB0aGUgU1FMVmFsdWUgY2xhc3Mgb3IgaW5zaWRlIHRoZSBmdW5jdGlvbiB0aGF0IGFjY2VwdHMg aXQuDQoNCg0KICAxLiAgP3NjYWxhcnxhcnJheQ0KQ29uZHVjdCB0aGlzIGNoZWNrIGluIHVzZXIg Y29kZSwgeW91J2QgaGF2ZSB0byBhbnl3YXkuDQoNCk5vdCBpZiBJJ20gZ2l2aW5nIGl0IHN0cmFp Z2h0IHRvIGpzb25fZW5jb2RlKCkgSSBkb24ndC4NCg0KWmVldj4gV2h5IG5vdCBsZXQganNvbl9l bmNvZGUoKSBkbyB0aGUgdHlwZSBjaGVja2luZyB0aGVuPw0KDQogIDEuICBpbnR8c3RyaW5nIChJ IHdhbnQgaW50fHN0cmluZyBoZXJlLiBJIGtub3cgYXJyYXkga2V5cyBhcmUgYWx3YXlzIGludHxz dHJpbmcuIEEgd2lkZXIgdHlwZSBpcyBsaWVzLikNClRoaXMgaXMgbmVlZGxlc3NseSBwdXJpc3Qu ICBGb3IgaGFuZGxpbmcgYSBtZWFuaW5nbGVzcyBjb24sIHdlJ2Qgb3ZlcmNvbXBsaWNhdGUgdGhl IGxhbmd1YWdlIGFuZCBwcm92aWRlIGEgZm9vdGd1bih0bSkgZm9yIGV2ZXJ5b25lLiAgTm90IGEg Z29vZCBiYXJnYWluLg0KDQppbnR8c3RyaW5nIGlzIHRoZSBjb3JyZWN0IHR5cGUuIElmIHlvdSdy ZSBnb2luZyB0byBkaXNtaXNzIGNvcnJlY3RuZXNzIGFzICJuZWVkbGVzc2x5IHB1cmlzdCIgdGhl biBJJ20gZ29pbmcgdG8gZGlzbWlzcyBQSFAgYXMgbm90IGludGVuZGVkIGZvciB3cml0aW5nIGNv cnJlY3Qgc29mdHdhcmUuDQoNClplZXY+IFB1cmlzbSBieSBkZWZpbml0aW9uIOKAkyBpbiBhbGwg YXJlYXMgb2YgbGlmZSAtIGluc2lzdHMgaXTigJlzIHRoZSBvbmUgYW5kIG9ubHkgY29ycmVjdCB3 YXkgdG8gbG9vayBhdCB0aGluZ3MuICBQSFAgaGFzIG5ldmVyIGJlZW4gYWJvdXQgcHVyaXNtLCBh bmQgd2XigJlyZSBub3QgZ29pbmcgdG8gc3RhcnQgbm93LiAgSW5zdGVhZCBvZiBhZGp1c3Rpbmcg dG8gaG93IFBIUCBtb2RlbHMgc2NhbGFycywgb3IgbW92aW5nIHRvIGFub3RoZXIgbGFuZ3VhZ2Ug KGJvdGggdmVyeSB2YWxpZCBvcHRpb25zKSDigJMgeW91IGluc2lzdCBvbiBzYXlpbmcgUEhQIG11 c3QgY2hhbmdlIHRvIGJlIHlvdXIgd2F5Lg0KDQogIDEuICBUfGZhbHNlDQpZb3UgZGlkbid0IGFu c3dlciBteSBxdWVzdGlvbiBvbiB0aGlzIG9uZS4NCg0Kc3Vic3RyKCkgcmV0dXJucyBzdHJpbmd8 ZmFsc2UNCmZpbGVfZ2V0X2NvbnRlbnRzKCkgcmV0dXJucyBzdHJpbmd8ZmFsc2UNCmZvcGVuKCkg cmV0dXJucyByZXNvdXJjZXxmYWxzZQ0Kc3RycG9zKCkgcmV0dXJucyBpbnR8ZmFsc2UNCmV0Yy4u DQoNCldpdGhvdXQgdW5pb25zLCB0aGUgdHlwZXMgb2YgdGhlc2UgZnVuY3Rpb25zIGNhbm5vdCBi ZSBkZW5vdGVkLg0KDQpaZWV2PiBXaHkgaXMgaXQgaW1wb3J0YW50IHRvIGhhdmUgYSB0eXBlIHRo YXQgbWFwcyB0aGUgcmV0dXJuIHZhbHVlcyBvZiB0aGVzZSBmdW5jdGlvbnM/ICBXaGF0IGRvZXMg aXQgYnV5IHlvdT8NCg0K --_000_BY2PR02MB2988D5604626FCDDF5F4B00AC6D0BY2PR02MB298namprd_--