Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92499 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 43640 invoked from network); 19 Apr 2016 21:47:29 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Apr 2016 21:47:29 -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.144 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 207.46.100.144 mail-by2on0144.outbound.protection.outlook.com Received: from [207.46.100.144] ([207.46.100.144:11690] helo=na01-by2-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id B2/6A-22821-D67A6175 for ; Tue, 19 Apr 2016 17:47:29 -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=N1W5hl2+jN+A5bzCsBOgedMJfkzQ/Ft3C9vvKb9QisM=; b=zfiVwEd0MLJtq2OjYZT1hJO7OzqYnNEQMKLjf7DKTPa0UV0uexvNnSffUZfJMVj3Kj/yfUffFiV5cGKW4RlmU3v8nr3QebBcC1BMzaanbNAiXKtFh/LSVJOL+/mPJVur53Jhja5zmgLuk2jkSMOKpXO8G/67SggutGDekP3UPac= Received: from BY2PR02MB298.namprd02.prod.outlook.com (10.141.140.21) by BY2PR02MB297.namprd02.prod.outlook.com (10.141.140.17) with Microsoft SMTP Server (TLS) id 15.1.466.19; Tue, 19 Apr 2016 21:47:20 +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 21:47:20 +0000 To: Levi Morrison CC: "internals@lists.php.net" Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAACMmAgAAdwQCAAAxwgIAFsEHQgAChb4CAABdaAIAAA7qwgAARpYCAAADboA== Date: Tue, 19 Apr 2016 21:47:20 +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> <57167C35.8080601@gmail.com> <57168FCC.7000507@garfieldtech.com> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: php.net; dkim=none (message not signed) header.d=none;php.net; dmarc=none action=none header.from=zend.com; x-originating-ip: [87.70.31.215] x-ms-office365-filtering-correlation-id: f9b8978b-67cd-4caa-281f-08d3689c2f5d x-microsoft-exchange-diagnostics: 1;BY2PR02MB297;5:q7PyVZ8k6xwTmheD9l/HZsRP7WjhuWWBUnn7hy6f6qTRvixv9vWRp3LmOW/bAJB4kCTAf64SrQyKbmWyZPtrIYPfSzCuqiY1raoNz3RnwxOGtXlZJ2VirTaqzhBJcsbTDUO5d+s37GUBrlXekjTrVk1rTxDtEEZWp+rbYIsrjqo6tgAHA2glNCg/wqA4AtcI;24:RwJSZ4H7pWCmHSyltSbDxcXowpkMi63F1zPJfplN1A3O0Ig0tBVbYEhh+Xy0PtxFpfk8j7KPQYVx6Yhg46jUncrAC0zLLNH/Rk2nllZv1A4=;7:iPMgvp7r/emiWEadIx0EwKZG4zPPVjcBe4GPkg5+i20C96/hLIfI6zRENgEZY7FcamrfN/Yt0oseG4Eck3tzLnmZiZ13TZ8M2YYHH35+oa8H2xN93PU1Xc+hg9PmpPKIjkNrpZVu7GMNIXhkDxg1QnLKpbR6AFI5t3XkHJ6O3XLEHFme2MeIbYd04AgI4VNziS8aRDGlUJhxU9r45OgHDsKLl/vNnirxQSyJOPADgJc= x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB297; 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:BY2PR02MB297;BCL:0;PCL:0;RULEID:;SRVR:BY2PR02MB297; x-forefront-prvs: 0917DFAC67 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(13464003)(377454003)(10400500002)(189998001)(6116002)(3846002)(102836003)(33656002)(11100500001)(586003)(54356999)(122556002)(1220700001)(81166005)(76176999)(50986999)(4326007)(74316001)(110136002)(19580395003)(19580405001)(1096002)(86362001)(106116001)(99286002)(5002640100001)(2906002)(5008740100001)(3280700002)(77096005)(3660700001)(9686002)(92566002)(2950100001)(87936001)(2900100001)(76576001)(5003600100002)(66066001);DIR:OUT;SFP:1102;SCL:1;SRVR:BY2PR02MB297;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 21:47:20.6318 (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) PiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBtb3JyaXNvbi5sZXZpQGdtYWls LmNvbSBbbWFpbHRvOm1vcnJpc29uLmxldmlAZ21haWwuY29tXSBPbiBCZWhhbGYNCj4gT2YgTGV2 aSBNb3JyaXNvbg0KPiBTZW50OiBXZWRuZXNkYXksIEFwcmlsIDIwLCAyMDE2IDEyOjIzIEFNDQo+ IFRvOiBaZWV2IFN1cmFza2kgPHplZXZAemVuZC5jb20+DQo+IENjOiBMYXJyeSBHYXJmaWVsZCA8 bGFycnlAZ2FyZmllbGR0ZWNoLmNvbT47IGludGVybmFsc0BsaXN0cy5waHAubmV0DQo+IFN1Ympl Y3Q6IFJlOiBbUEhQLURFVl0gUmU6IEltcHJvdmluZyBQSFAncyB0eXBlIHN5c3RlbQ0KPiANCj4g PiBJTUhPLCBpdCB3b3VsZCBiZSBBV0VTT01FIGlmIHdlIGNvdWxkIGZ1bm5lbCBzb21lIG9mIHRo ZXNlIGN5Y2xlcyBmcm9tDQo+IG5ldyBzeW50YXggYW5kIG9udG8gb3RoZXIgdGhpbmdzIGxpa2Ug cGFyYWxsZWwgcHJvY2Vzc2luZywgYXN5bmMgSU8sIEpJVCBhbmQNCj4gbW9yZSAtIHdoaWNoIGNh biB0cnVseSB0YWtlIFBIUCB0byB0aGUgbmV4dCBsZXZlbC4gIE5ldyBzeW50YXggY2Fubm90Lg0K PiANCj4gVGhlIHRpbWUgaW52ZXN0bWVudCBmb3IgdGhvc2UgcHJvamVjdHMgaXMgZW5vcm1vdXMu IE5vdCBtYW55IGRldmVsb3BlcnMNCj4gaGF2ZSB0aGUgdGltZSBvciBjYXBhYmlsaXR5IHRvIGFk ZCB0aGVzZSB0aGluZ3MuDQoNCg0KQnV0IHRoYXQncyB3aGF0J3MgbmVlZGVkLCB3aGlsZSBuZXcg c3ludGF4IGlzIGhhcmRseSBuZWVkZWQuICBGZXcsIGlmIGFueWJvZHksIGFyZSBzYXlpbmcgdGhh dCBQSFAncyBzeW50YXggaXMgcHJldmVudGluZyB0aGVtIGZyb20gZG9pbmcgd2hhdCB0aGV5IG5l ZWQgdG8gZG8uICBUaGUgYXJndW1lbnQgaXMgYWx3YXlzIHRoYXQgdGhlIG5ldyBzeW50YXggY2Fu IGJlIHVzZWZ1bCBoZXJlIG9yIGhlbHBmdWwgdGhlcmUgLSB3aGljaCBldmVuIGlmIHdlIGFjY2Vw dCBhcyB0cnVlLCB3b3VsZCBtYWtlIHRoZSByYXRpbmcgb2YgdGhlc2UgZmVhdHVyZXMgYXMgJ25p Y2UgdG8gaGF2ZScsIGFuZCBub3QgJ2ltcG9ydGFudCcgbGV0IGFsb25lICdtdXN0Jy4gIE5vdCBo YXZpbmcgdGhlbSBpcyBub3QgYSBiYXJyaWVyIHRvIGFkb3B0aW9uLCBub3IgaXMgaXQgcHVzaGlu ZyBhbnlib2R5IGF3YXkgZnJvbSBQSFAuICBQbHVzLCB0aGVyZSdzIHRoaXMgd2hvbGUgdGhlb3J5 IHRoYXQgbGVzcyBpcyBtb3JlLCBhbmQgaW4gaXRzIG1vcmUgcmVsZXZhbnQgZm9ybSAtIG1vcmUg aXMgbGVzcy4gIFNvIGFyZ3VhYmx5LCB0aGUgYWRkZWQgY29tcGxleGl0eSBtYXkgZXZlbiBoYW1w ZXIgYWRvcHRpb24uDQoNCkl0J3Mgb2YgY291cnNlIGEgbG90IGVhc2llciB0byBpbXBsZW1lbnQg YSBwYXRjaCB0byB0aGUgZW5naW5lIHRvIGFkZCBzb21lIG5ldyBzeW50YXgsIGJ1dCB0aGF0J3Mg bm90IHdoYXQgdGhlIGxhbmd1YWdlIG5lZWRzLiAgVGhlcmUncyBubyBuZWVkIHRvIGFkZCBuZXcg c3R1ZmYgdG8gUEhQIGV2ZXJ5IHllYXIgZXNwZWNpYWxseSBub3QgYXQgdGhlIGxhbmd1YWdlIGxl dmVsLCBhbmQgd2Ugc2VlbSB0byBiZSBvYnNlc3NlZCB3aXRoIHRoYXQuICBJZiBwZW9wbGUgZm9j dXNlZCB0aGVpciBlZmZvcnRzIG9uIHRoaW5ncyB0aGF0IGNhbiB0cnVseSBtb3ZlIHRoZSBuZWVk bGUsIGV2ZW4gaWYgaXQgdG9vayBhIGxvdCBsb25nZXIsIGl0IHdvdWxkIGV2ZW50dWFsbHkgcGF5 IG9mZi4gIEluc3RlYWQsIHdlJ3JlIG5vdCBldmVuIGludmVzdGluZyBpbiB0aGVtIC0gYmVjYXVz ZSB3ZSdyZSBpbiBhICd2aWNpb3VzJyB5ZWFybHkgY3ljbGUgb2YgYWRkaW5nIG5ldyBzeW50YXgu DQogDQo+IEZ1cnRoZXJtb3JlLCB0eXBlIHN5c3RlbSBlbmhhbmNlbWVudHMgY2FuIGhhdmUgZW5v cm1vdXMgaW1wYWN0Lg0KPiBDb25zaWRlciBpZiBnZW5lcmljcyBsYW5kZWQgaW4gUEhQIDcuMS4g WW91IGhhZCBiZXR0ZXIgYmVsaWV2ZSB0aGF0IHdvdWxkDQo+IGJyaW5nIHVzIHRvIHRoZSAibmV4 dCBsZXZlbCIuDQoNCkkgZmFpbCB0byBzZWUgaG93IGFkZGluZyBDKysgdGVtcGxhdGVzIHRvIFBI UCB0YWtlcyBpdCB0byB0aGUgbmV4dCBsZXZlbCBpbiBhbnl0aGluZyBidXQgdGhlIGNvbXBsZXhp dHkgc2NhbGUuICBOb3QgaGF2aW5nIHRoZW0gaXMgbm90IHByZXZlbnRpbmcgYW55Ym9keSBmcm9t IGRvaW5nIGFueXRoaW5nIHRvZGF5LiAgU3VyZSwgYSBidW5jaCBvZiBmcmFtZXdvcmtzIHdvdWxk IGFkb3B0IHRoZW0gb25jZSB0aGV5IGJlY29tZSBhdmFpbGFibGUgLSBidXQgaXQgd2lsbCBub3Qg ZW5hYmxlIHRoZW0gdG8gZG8gdGhpbmdzIHRoYXQgYXJlIHJhZGljYWxseSBkaWZmZXJlbnQgZnJv bSB3aGF0IHRoZXkncmUgZG9pbmcgdG9kYXkuDQoNCj4gUGxlYXNlIGRvIG5vdCByZWR1Y2UgdHlw ZSBzeXN0ZW0gZW5oYW5jZW1lbnRzIHRvIG1lcmUgc3ludGF4Lg0KDQpGb3IgdGhlIG1vc3QgcGFy dCwgaXQgaXMgLSBhcyBtb3N0IHNlbnNpYmxlIHVzZSBjYXNlcyBoYXZlIGFsdGVybmF0aXZlIHNv bHV0aW9ucyAtIGVpdGhlciBieSBkaWZmZXJlbnQgbWV0aG9kcyBvciBieSB3cml0aW5nIHRpbnkg Yml0cyBvZiB1c2VybGFuZCBjb2RlLg0KDQpaZWV2DQoNCg==