Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92535 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 25830 invoked from network); 20 Apr 2016 11:02:01 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 20 Apr 2016 11:02:01 -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 207.46.100.118 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 207.46.100.118 mail-by2on0118.outbound.protection.outlook.com Received: from [207.46.100.118] ([207.46.100.118:39648] helo=na01-by2-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id CA/B7-14036-7A167175 for ; Wed, 20 Apr 2016 07:02:00 -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=Qu5X87YI+pv8UqVmDY3+w2BdAks3QwlntSbVNmW+iEg=; b=pbpVYfhPvxrWApSr+xkwO+hrK5H88whlSm2D3DvqlKu8hcQSkwQtQXQ/D7djYJ5qVrG9bfWGk7Wg61kRaeRyCIR6rrJvSXbpr1atEVyRuQWAgyrTaNRcQ6ks24kzCJdt9whRNBrGbIye0Jqxq7THsIuPvGkqjal6NnkDaPctvlA= 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 11:01:56 +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 11:01:56 +0000 To: Jesse Schalken CC: PHP internals Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAHYpoAgAAekQCAAAbtgIAACnWg Date: Wed, 20 Apr 2016 11:01:55 +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> 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: 3705fd4b-9700-4783-bb01-08d3690b3018 x-microsoft-exchange-diagnostics: 1;BY2PR02MB298;5:ebc2vSmtFQoSbMh8P2OVbp9Rmh4RecpIG6HbwDLYpMWFs3HJVOLjfPVYeU42jNe97drSsMmYM3EtofxkbmYPo0N4jAT31MZjdt5r3kOdVpUnqjZuucs46U4uCUZAhDuhR+/v1eu2obE+sb6n1Hu43f3IQI/GAvaYobMKU9zrRgDiU5iFhxmt0c3e1TiJzTXR;24:uz712ZFvFAJduGyvtAciuReAHT+yRzH7pdVoQ0LZtHmCO4C1h1l0fmvyN8XptDCNXNZ/UmghN2cwLOenEh3IwuYAQR8quamLPB8YRexUcSg=;7:Sa8FaJ0UdT7veOErAkmIIAmyrFdvvmoKtM7qEBSPH49Vv1nHcYE4yWyXj9JGSCVJxpgpgJCe6Z4CbaWhke3lNWa7tzI3fvXLg6YZIgWUWqnGUJyax0+fTtgL/ospmnjGoSFmU5bRZMbeBGHfWyl5Eww/D//hd7a1cw6gl7IEc5vb8A5neCi5qlFAZerPwd4CFkM8nN5bg3pj3d0L729HKA72NxWkCkmWstN928L1Sf8= 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)(13464003)(377454003)(87936001)(77096005)(10400500002)(5002640100001)(92566002)(2950100001)(2900100001)(74316001)(9686002)(76576001)(5008740100001)(110136002)(4326007)(5004730100002)(33656002)(122556002)(66066001)(189998001)(106116001)(2906002)(11100500001)(50986999)(3280700002)(5003600100002)(3660700001)(6116002)(3846002)(19580395003)(19580405001)(81166005)(102836003)(1096002)(586003)(99286002)(76176999)(1220700001)(93886004)(86362001)(54356999);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 11:01:55.8418 (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) DQoNCj4gLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0NCj4gRnJvbTogamVzc2VzY2hhbGtlbkBn bWFpbC5jb20gW21haWx0bzpqZXNzZXNjaGFsa2VuQGdtYWlsLmNvbV0gT24NCj4gQmVoYWxmIE9m IEplc3NlIFNjaGFsa2VuDQo+IFNlbnQ6IFdlZG5lc2RheSwgQXByaWwgMjAsIDIwMTYgMToxMiBQ TQ0KPiBUbzogSm9oYW5uZXMgU2NobMO8dGVyIDxqb2hhbm5lc0BzY2hsdWV0ZXJzLmRlPg0KPiBD YzogQW5kcmVhIEZhdWxkcyA8YWpmQGFqZi5tZT47IFBIUCBpbnRlcm5hbHMgPGludGVybmFsc0Bs aXN0cy5waHAubmV0Pg0KPiBTdWJqZWN0OiBSZTogW1BIUC1ERVZdIFJlOiBJbXByb3ZpbmcgUEhQ J3MgdHlwZSBzeXN0ZW0NCj4gDQo+ICAgIDEuIEkgaGF2ZSBhIGZ1bmN0aW9uIHRoYXQgY29udmVy dHMgdmFsdWVzIHRvIFNRTCB3aGljaCBoYXZlIFNRTA0KPiAgICBlcXVpdmFsZW50cywgaW5jbHVk aW5nIGRlY2ltYWwgdmFsdWVzIHJlcHJlc2VudGVkIGJ5IGEgc3BlY2lhbCBEZWNpbWFsDQo+ICAg IGNsYXNzLiBJdCBhY2NlcHRzIGludHxzdHJpbmd8Ym9vbHxudWxsfGZsb2F0fERlY2ltYWwuDQo+ ICAgIDIuIEkgaGF2ZSBhIGNsYXNzIEV4cHIgd2hpY2ggcmVwcmVzZW50cyBhbiBleHByZXNzaW9u IGluIFNRTC4NCj4gICAgRXhwcmVzc2lvbnMgY2FuIGJlIGNvbXBvc2VkIG9mIG90aGVyIGV4cHJl c3Npb25zLCBhbmQgb2YgbGl0ZXJhbCB2YWx1ZXMsIHNvDQo+ICAgIHRoZSBjb25zdHJ1Y3RvcnMg Zm9yIEV4cHJzIGFjY2VwdCBpbnR8c3RyaW5nfGJvb2x8bnVsbHxmbG9hdHxEZWNpbWFsfEV4cHIu DQo+ICAgIDMuIEkgaGF2ZSBhIGZ1bmN0aW9uIHRoYXQgY29udmVydHMgdmFsdWVzIHRvIEpTT04g dGhhdCBjYW4gYmUgcmVsaWFibHkNCj4gICAgY29udmVydGVkIGJhY2sgaW50byB0aGVpciBvcmln aW5hbC4gSXQgYWNjZXB0cyBpbnR8c3RyaW5nfGJvb2x8bnVsbHxmbG9hdC4NCg0KSW4gb3RoZXIg d29yZHMsIHRoZXkgYWNjZXB0cyBzY2FsYXJzIChvciBudWxsYWJsZSBzY2FsYXJzKS4gIEludHJv ZHVjaW5nIGEgc2NhbGFyIHR5cGUgd291bGQgZG8gdGhlIGpvYi4NCg0KPiAgICA0LiBJIGhhdmUg YSBmdW5jdGlvbiB0aGF0IHJldHVybnMgdGhlIGZpcnN0IGtleSBpbiBhbiBhcnJheSAob3IgdGhy b3dzDQo+ICAgIGFuIGV4Y2VwdGlvbiBpZiBlbXB0eSkuIEl0IHJldHVybnMgaW50fHN0cmluZy4N Cg0KSSdkIGFyZ3VlIHRoYXQgaGVyZSB0b28sIGEgc2NhbGFyIHdvdWxkIGJlIGZpbmUuICBXb3Jy eWluZyBhYm91dCBhIGZsb2F0aW5nIHBvaW50IGhlcmUgaXMgbm90IGEgdmVyeSByZWxldmFudCB3 b3JyeS4NCg0KPiAgICA1LiBJIGhhdmUgYSBmdW5jdGlvbiB0aGF0IHJldHVybnMgYSB2YWx1ZSBm b3IgYSBrZXkgaW4gYW4gYXJyYXksIGFuZA0KPiAgICByZW1vdmVzIHRoZSBrZXkuIFRoZSB0eXBl IG9mIHRoZSBrZXkgaXMgdGhpbmdzIHRoYXQgYXJlIHZhbGlkIGFycmF5IGtleXMNCj4gICAgKGlu dHxzdHJpbmd8Ym9vbHxudWxsIElJUkMpLg0KDQpTY2FsYXIgKG9yIG51bGxhYmxlIHNjYWxhciku DQoNCj4gICAgNi4gSSBoYXZlIGEgc2V0IG9mIGZ1bmN0aW9ucyB3aGljaCBvcGVyYXRlcyBvbiBu dW1iZXJzLiBUaGV5IGFjY2VwdA0KPiAgICBpbnR8ZmxvYXQuDQoNCk51bWVyaWMgKHRvIGFsc28g aW5jbHVkZSBzdHJpbmdzIHRoYXQgbG9vayBsaWtlIG51bWJlcnMgd2hlbiBzdHJpY3QgaXMgbm90 IG9uKS4NCg0KPiAgICA3LiBBbGwgdGhlIFBIUCBmdW5jdGlvbnMgd2hpY2ggc2F5ICJyZXR1cm5z IC4uLiBvciBGQUxTRSBvbiBmYWlsdXJlIg0KPiAgICBoYXZlIHRoZWlyIGNvcnJlY3QgcmV0dXJu IHR5cGUgYXMgVHxmYWxzZSAod2hlcmUgVCBpcyB0aGUgcmV0dXJuIHZhbHVlIG9uDQo+ICAgIHN1 Y2Nlc3MpIChvciBUfGJvb2wgaXMgImZhbHNlIiBpcyBub3QgYW4gYWxsb3dlZCB0eXBlKS4NCg0K SG93IG1hbnkgb2YgdGhvc2UgZG8gd2UgaGF2ZT8gIEFzIG9wcG9zZWQgdG8gVHxudWxsPyAgSSB0 aGluayBtb3N0IGZ1bmN0aW9ucyB0aGF0IHJldHVybiBvYmplY3RzIHJldHVybiBudWxsIG9uIGZh aWx1cmUsIG5vdCBmYWxzZS4gIEFuZCB0aG9zZSB3aG8gZG9uJ3QgY2FuIHByb2JhYmx5IGV2b2x2 ZSB0byB0aGF0IGFwcHJvYWNoLg0KDQo+ICAgIDguIE51bGxhYmlsaXR5IGlzIG5vdGhpbmcgYnV0 IGEgc3BlY2lhbCBjYXNlIG9mIHVuaW9uIHR5cGUgd2l0aCBUfG51bGwuDQoNCkFjYWRlbWljYWxs eSB0aGF0J3MgdHJ1ZSwgYnV0IHByYWN0aWNhbGx5IHNwZWFraW5nLCB0aGUgZ2VuZXJhbCBUMXxU MiBpcyBhbG1vc3QgYWx3YXlzIGJvZ3VzIHdoaWxlIFR8bnVsbCBzdWJzZXQgbWFrZXMgYSBsb3Qg b2Ygc2Vuc2UuDQoNCkluIHJlYWxpdHksIHdlIGNhbiBzb2x2ZSBhbGwgdGhlIHJlbGV2YW50IHVz ZSBjYXNlcyBmb3IgdW5pb24gdHlwZXMgYnkgcmVsYXRpdmVseSBtaW5vciB0d2Vha3MgKG9yIHJh dGhlciBhZGRpdGlvbnMpIHRvIG91ciBzY2FsYXIgdHlwZSBoaW50cywgYnkgYWRkaW5nIG51bGxh YmlsaXR5LCBhbmQgYnkgdXNpbmcgaW50ZXJmYWNlcyB3aGVyZSB0aGV5IG1ha2Ugc2Vuc2UuDQoN ClplZXYNCg==