Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:97674 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 67288 invoked from network); 11 Jan 2017 12:07:50 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 11 Jan 2017 12:07:50 -0000 Authentication-Results: pb1.pair.com header.from=dmitry@zend.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=dmitry@zend.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 104.47.33.132 as permitted sender) X-PHP-List-Original-Sender: dmitry@zend.com X-Host-Fingerprint: 104.47.33.132 mail-bn3nam01on0132.outbound.protection.outlook.com Received: from [104.47.33.132] ([104.47.33.132:32256] helo=NAM01-BN3-obe.outbound.protection.outlook.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id F8/6C-55699-31026785 for ; Wed, 11 Jan 2017 07:07:49 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=RWSoftware.onmicrosoft.com; s=selector1-zend-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=L8ciSlAmm1SFGBk9WbXnUuqJt4GJc9+EHaQHLPVUZyU=; b=iQ+tePW4bvY/EnQEAOKLGY9bc21VHETQZY1OwW1uEPdlZn6EMIrx3neHNfOiGM/SVaYG6EhzqLTTY2zRqjHVRzPXdlVX+a6MaDxsQ6KlBvmJJDtcPUxvQWOPmro0V5FDrlxb/TJqk2qswZhkJphuj4ASuEohea0+LA/JNyyzWa4= Received: from MWHPR02MB2477.namprd02.prod.outlook.com (10.168.204.147) by MWHPR02MB2509.namprd02.prod.outlook.com (10.168.205.11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA384_P384) id 15.1.829.7; Wed, 11 Jan 2017 12:07:42 +0000 Received: from MWHPR02MB2477.namprd02.prod.outlook.com ([10.168.204.147]) by MWHPR02MB2477.namprd02.prod.outlook.com ([10.168.204.147]) with mapi id 15.01.0829.017; Wed, 11 Jan 2017 12:07:39 +0000 To: PHP internals list , Bob Weinand , Joe Watkins CC: Zeev Suraski , "Anatol Belski (ab@php.net)" , Nikita Popov , Xinchen Hui Thread-Topic: Change in type-hint representation Thread-Index: AQHSbAGJJH94e0ZZMkmDI5OUmOzW+w== Date: Wed, 11 Jan 2017 12:07:39 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: spf=none (sender IP is ) smtp.mailfrom=dmitry@zend.com; x-ms-exchange-messagesentrepresentingtype: 1 x-originating-ip: [25.173.117.4] x-microsoft-exchange-diagnostics: 1;MWHPR02MB2509;7:UlKnIAgTc6CxygWa7fdYHiE7WYCGZCTphrocNNU87iQg2dtDLQe/J5v+0IptNdQD6lwog2loHMwmVVgutGAuoJgi9PRe3RWGqapO6YcrJymVTXlOf+6vLk5ZdROD5vfDhJHNiEeKVMzg0HExhoKrCofRNjoEBaB7U345Oyi+QEl2+a3LChiUgCqR8KPNbq12rGqEW5nfJmfab1if5uQaNzBYwHewQmaDyiXstKa4uWhJjDxw26nIaQvn0ib1gN6KHvXTTrzzQnhfXy/N8FwXMfvqM7MgWSDxYjk9j8hjAsn+4to0XP6EYlOn1lpXZplT0WuZkx1QMKwPYv9f7jMDgvYolNDftXWyE1RLAO0sNrfi8APZ+XeSjFkQ5hWNAErDBDHDn/9rwZK1Eje392slOv/hKAPlEuHvs21BDp8iY10hDiUlbjj6dvLpU2UkRSdlP49H1/6c9Ya4Xwe3N4bRuA== x-forefront-antispam-report: SFV:SKI;SCL:-1SFV:NSPM;SFS:(10019020)(7916002)(39450400003)(199003)(189002)(6436002)(606005)(54896002)(6306002)(38730400001)(81156014)(2900100001)(8936002)(9686003)(189998001)(6506006)(122556002)(92566002)(86362001)(575784001)(25786008)(7696004)(99286003)(54906002)(55016002)(5660300001)(6606003)(81166006)(3480700004)(77096006)(8676002)(236005)(39060400001)(54356999)(50986999)(3280700002)(102836003)(3846002)(66066001)(107886002)(6116002)(4326007)(101416001)(7736002)(33656002)(5001770100001)(97736004)(7906003)(105586002)(74316002)(68736007)(2906002)(19627405001)(106116001)(4001430100002)(3660700001)(106356001);DIR:OUT;SFP:1102;SCL:1;SRVR:MWHPR02MB2509;H:MWHPR02MB2477.namprd02.prod.outlook.com;FPR:;SPF:None;PTR:InfoNoRecords;A:1;MX:1;LANG:en; x-ms-office365-filtering-correlation-id: 8eeb0827-486d-41e9-7b21-08d43a1a7080 x-microsoft-antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001);SRVR:MWHPR02MB2509; x-microsoft-antispam-prvs: x-exchange-antispam-report-test: UriScan:(166708455590820)(192278398808882); x-exchange-antispam-report-cfa-test: BCL:0;PCL:0;RULEID:(6040375)(601004)(2401047)(5005006)(8121501046)(3002001)(10201501046)(6041248)(20161123562025)(20161123555025)(20161123564025)(20161123560025)(6072148);SRVR:MWHPR02MB2509;BCL:0;PCL:0;RULEID:;SRVR:MWHPR02MB2509; x-forefront-prvs: 01842C458A received-spf: None (protection.outlook.com: zend.com does not designate permitted sender hosts) spamdiagnosticoutput: 1:99 spamdiagnosticmetadata: NSPM Content-Type: multipart/alternative; boundary="_000_MWHPR02MB24771DF68193D22668A6EE63BF660MWHPR02MB2477namp_" MIME-Version: 1.0 X-OriginatorOrg: zend.com X-MS-Exchange-CrossTenant-originalarrivaltime: 11 Jan 2017 12:07:39.3178 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR02MB2509 Subject: Change in type-hint representation From: dmitry@zend.com (Dmitry Stogov) --_000_MWHPR02MB24771DF68193D22668A6EE63BF660MWHPR02MB2477namp_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Hi, I propose to introduce a unified type representation (zend_type). Now it's going to be used for typing of arguments and return values. Later we should use it for properties and other things. https://gist.github.com/dstogov/1b25079856afccf0d69f77d499cb0ab1 The main changes are in zend_types.h and zend_compile.h, the rest is just a= n adoption for new type representation. I don't think we need RFC, because this is just an internal change that doe= sn't change behavior. I got the idea working on typed properties together with Bob and Joe. https://github.com/php/php-src/compare/master...bwoebi:typed_ref_properties I think it would be better to introduce zend_type and then continue work on= typed properties. Any comments? Thanks. Dmitry. --_000_MWHPR02MB24771DF68193D22668A6EE63BF660MWHPR02MB2477namp_--