Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92491 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 28740 invoked from network); 19 Apr 2016 20:19:41 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Apr 2016 20:19:41 -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 157.56.110.137 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 157.56.110.137 mail-bn1on0137.outbound.protection.outlook.com Received: from [157.56.110.137] ([157.56.110.137:10319] helo=na01-bn1-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id C3/47-22821-BD296175 for ; Tue, 19 Apr 2016 16:19:41 -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=lvWTMWx76HJLWTZ9ylyCBs/TOtMnhfIUOGME9dzV474=; b=ICx5j44AHVVOVSGK4/+LAZeS96ZcsMpVQNkd4B1ZpueE1ZxpPBUgQMWUkEMH0VL7/zVrqENh1dbNg63N53QvchAcmGT71ky2DGd5jqT3ja48WW4H8gt6woIh4PIIFXa7yqCF5cBMpYaX+TyHk3uyokZppe0WdZ8Ri+4gakO1HCY= 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; Tue, 19 Apr 2016 20:19:35 +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 20:19:35 +0000 To: "internals@lists.php.net" Thread-Topic: [PHP-DEV] Re: Improving PHP's type system Thread-Index: AQHRlaUHEc+doe0x5E+u9VwQHuu4UJ+IRQcAgAANKICAAAFxgIAABh6AgAANpACAACnEH4AAm82AgAAMSgCAADMsgIAAVaeAgAASTYCAAVJIAIAACMmAgAAdwQCAAAxwgIAFsEHQgACN24CAAAL80IAAJvMAgAABngA= Date: Tue, 19 Apr 2016 20:19:35 +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> <57168EF6.3050004@fleshgrinder.com> In-Reply-To: <57168EF6.3050004@fleshgrinder.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: lists.php.net; dkim=none (message not signed) header.d=none;lists.php.net; dmarc=none action=none header.from=zend.com; x-originating-ip: [87.70.31.215] x-ms-office365-filtering-correlation-id: 734b516a-fbf1-47db-30cc-08d3688fed1b x-microsoft-exchange-diagnostics: 1;BY2PR02MB300;5:QoFCPmz6TBaOqs1xQ8wUPShZAzdw1xus66oXqPzTGkhaLhMjEbEDXqgyECyVSYhWm2tAjKO2lRQj9SX4yfNNGrSbY/fXx53QqVtIDoIVeoRX5qXLcSRlEnMcvYa0cx71DKDaJ7tva6O/mlrf50M24IRMvjleyetc4EgHD8J3nWzu2PemPjmxpIrzQ5MEqSRH;24:AblvzL7gfeY7CC/Zmk4Q1UDrRWcDWQSQlgF6tH/ANDB+zl28gThdxwHBTWn8+R/YEPu49W4C09mxRFGtjk5Bfg1tvaN++3iMBvfPTgg+hjc=;7:qtDv4tYyKl1DW2Jzv7y7WZS36kI3e0yLVGDzqqAXE49Qd/YAr9+TFEZmnMdicbjetwIe28oBUhyFPaiXaB4mKBxWlsNUVt9SPUHr/pgDwzw+sti7GnEloUtnEvAc/xqz6lsSwU70rxTgIDHe8hugRlF4KoefrTGB3BR2OgwihBAdm5hk9sxhe4c/YEYI57Cj5nUpMR9aH5sJB2Xu+s3DKSmwInUU7zvMJqeXmLMaAP0= 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: 0917DFAC67 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(6009001)(24454002)(13464003)(377454003)(2906002)(586003)(102836003)(122556002)(3846002)(6116002)(19580405001)(11100500001)(19580395003)(2351001)(110136002)(107886002)(189998001)(450100001)(2950100001)(5002640100001)(1220700001)(76576001)(5008740100001)(99286002)(1096002)(3280700002)(2501003)(3660700001)(92566002)(9686002)(81166005)(106116001)(77096005)(10400500002)(2900100001)(86362001)(33656002)(54356999)(76176999)(74316001)(50986999)(87936001)(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: 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 20:19:35.4466 (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) DQoNCj4gLS0tLS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0NCj4gRnJvbTogRmxlc2hncmluZGVyIFtt YWlsdG86cGhwQGZsZXNoZ3JpbmRlci5jb21dDQo+IFNlbnQ6IFR1ZXNkYXksIEFwcmlsIDE5LCAy MDE2IDExOjAzIFBNDQo+IFRvOiBaZWV2IFN1cmFza2kgPHplZXZAemVuZC5jb20+DQo+IENjOiBp bnRlcm5hbHNAbGlzdHMucGhwLm5ldA0KPiBTdWJqZWN0OiBSZTogW1BIUC1ERVZdIFJlOiBJbXBy b3ZpbmcgUEhQJ3MgdHlwZSBzeXN0ZW0NCj4gDQo+IE9uIDQvMTkvMjAxNiA4OjQ4IFBNLCBaZWV2 IFN1cmFza2kgd3JvdGU6DQo+ID4+IGJ1dCBpdCBkb2VzIG5vdCBoZWxwIHdpdGggcHJpbWl0aXZl IHR5cGVzLiA6KA0KPiA+DQo+ID4gV2hpY2ggaXMgZmluZS4gIFByaW1pdGl2ZSB0eXBlcyBjYW4g YW5kIHNob3VsZCBnZXQgZGVkaWNhdGVkIHNvbHV0aW9ucy4NCj4gVGhlcmUncyByZWFsbHkgbm8g bmVlZCBmb3IgYWxsb3dpbmcgb3ZlciBjcmVhdGl2aXR5IHdpdGggdXNlcmxhbmQtY3VzdG9taXpl ZA0KPiBzY2FsYXIgdHlwZXMuDQo+ID4NCj4gDQo+IEhtbW0uLi4gbm9wZS4gSSBhbHJlYWR5IGJy b3VnaHQgdmFyaW91cyBleGFtcGxlcyB3aGVyZSBJIHBlcnNvbmFsbHkgc2VlIHRoZQ0KPiBzdHJl bmd0aCBvZiB1bmlvbiB0eXBlcyBhbmQgdGhhdCBpcyBleGFjdGx5IHdpdGggdGhlIHByaW1pdGl2 ZXMuWzFdDQo+ICppbnR8c3RyaW5nKiBpcyBzbyBwb3dlcmZ1bCBpZiB5b3UgZGVhbCB3aXRoIE15 U1FMaSBhbmQgaXRzIEJJR0lOVCBzdHVmZg0KPiBiZWNhdXNlIEkgY2FuIGZ1bGx5IHR5cGUgaGlu dCBpdCBub3cgKGxpa2UgdGhlIC9teXNxbGkvIGV4dGVuc2lvbiBkb2VzIGluIEMpIGFuZA0KPiBj aGVjayB2ZXJ5IGZhc3QgaWYgSSBuZWVkIHRvIHVzZSBHTVAgb3Igbm90Lg0KDQpJIGNhbiBvbmx5 IHJlcGVhdCAtIHByaW1pdGl2ZSB0eXBlcyBjYW4gYW5kIHNob3VsZCBnZXQgZGVkaWNhdGVkIHNv bHV0aW9ucy4gIFRoZXJlJ3MgcmVhbGx5IG5vIG5lZWQgZm9yIGFsbG93aW5nIG92ZXIgY3JlYXRp dml0eSB3aXRoIHVzZXJsYW5kLWN1c3RvbWl6ZWQgc2NhbGFyIHR5cGVzLiAgSWYgd2UgdGhpbmsg dGhhdCBhIGNlcnRhaW4gc2NhbGFyIGRlZmluaXRpb24gbWFrZXMgYSBsb3Qgb2Ygc2Vuc2UsIHdl IGNhbiBhZGQgaXQgYXQgdGhlIGxhbmd1YWdlIGxldmVsLiAgVGhlcmUncyBubyBuZWVkIHRvIGNv bXBsaWNhdGUgdGhlIGxhbmd1YWdlLCBhZGQgc3ludGF4IHdoaWNoIG1ha2VzIG5vIHNlbnNlIGZv ciBvYmplY3RzIGFuZCBpc24ndCByZWFsbHkgbmVlZGVkIGZvciBzY2FsYXJzIGVpdGhlci4NCg0K PiBpbnRlcmZhY2UgSG91c2VDYXQgew0KPiAgICAgZnVuY3Rpb24gZHJpbmsoKTsNCj4gfQ0KPiAN Cj4gaW50ZXJmYWNlIERvZyB7DQo+ICAgICBmdW5jdGlvbiBlYXQoKTsNCj4gfQ0KPiANCj4taW50 ZXJmYWNlIExpb24gew0KPitpbnRlcmZhY2UgTGlvbiBleHRlbmRzIEhvdXNlQ2F0LCBEb2d7DQo+ ICAgICBmdW5jdGlvbiBkcmluaygpOw0KPiAgICAgZnVuY3Rpb24gZWF0KCk7DQo+IH0NCg0KUGFy ZG9uIG1lIHNheWluZyB0aGlzIGJ1dCBpdCBkb2Vzbid0IGFwcGVhciBhcyBpZiB5b3UndmUgcmVh ZCB3aGF0IEkgd3JvdGUuICBQbGVhc2UgdGFrZSBhIGxvb2sgYXQgdGhlICdkaWZmJyBJIG1hZGUg aW4gdGhlIGRlZmluaXRpb24gb2YgeW91ciBMaW9uIGNsYXNzLCBiZWNhdXNlIHdpdGhvdXQgaXQs IHlvdXIgc2FtcGxlIGFuZCBtaW5lIGhhdmUgbGl0dGxlIHRvIGRvIHdpdGggZWFjaCBvdGhlci4N Cg0KV2l0aCB0aGF0IGNoYW5nZSBpbiBwbGFjZSwgcGxlYXNlIHJlZXZhbHVhdGUgd2hldGhlciB3 aGF0IHlvdSBzYWlkIGlzIHJlbGV2YW50Og0KDQo+IEEgbGlvbiBkcmlua3MgYW5kIGVhdHMgYnV0 IGlzIG5laXRoZXIgYSBIb3VzZUNhdCBub3IgYSBEb2cuIFRoaXMgaXMgZGFuZ2Vyb3VzDQo+IGFu ZCBpbnRyb2R1Y2VzIG1hbnkgcG90ZW50aWFsIGhhcmQgdG8gZmluZCBidWdzLiBCZXR0ZXIgZG9u J3QgdG91Y2ggaXQgYW5kIGdvDQo+IGZvciBkdWNrIHR5cGluZyBvciB0aGUgaW50cm9kdWN0aW9u IG9mIGEgZGVkaWNhdGVkDQo+IGludGVyZmFjZTogKmFsd2F5cyoNCg0KTm90aGluZyBmdXJ0aGVy Lg0KDQpaZWV2DQo=