Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:58376 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 32470 invoked from network); 1 Mar 2012 01:16:20 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Mar 2012 01:16:20 -0000 Authentication-Results: pb1.pair.com header.from=johncrenshaw@priacta.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=johncrenshaw@priacta.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain priacta.com designates 64.95.72.244 as permitted sender) X-PHP-List-Original-Sender: johncrenshaw@priacta.com X-Host-Fingerprint: 64.95.72.244 mxout.myoutlookonline.com Received: from [64.95.72.244] ([64.95.72.244:6317] helo=mxout.myoutlookonline.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id CB/71-46815-3EDCE4F4 for ; Wed, 29 Feb 2012 20:16:20 -0500 Received: from mxout.myoutlookonline.com (localhost [127.0.0.1]) by mxout.myoutlookonline.com (Postfix) with ESMTP id D034E7E6706; Wed, 29 Feb 2012 20:16:16 -0500 (EST) X-Virus-Scanned: by SpamTitan at mail.lan Received: from HUB025.mail.lan (unknown [10.110.2.1]) by mxout.myoutlookonline.com (Postfix) with ESMTP id 76EF97E66AA; Wed, 29 Feb 2012 20:16:16 -0500 (EST) Received: from MAILR001.mail.lan ([10.110.18.27]) by HUB025.mail.lan ([10.110.17.25]) with mapi; Wed, 29 Feb 2012 20:16:07 -0500 To: Zeev Suraski , Kris Craig CC: Richard Lynch , "internals@lists.php.net" Date: Wed, 29 Feb 2012 20:16:11 -0500 Thread-Topic: [PHP-DEV] Scalar type hinting Thread-Index: AQHM9Pd1Qp/0dOE4ZEqZmcttXqmL3pZP+wSAgACx+ICAABNzAIAACoQAgAAKyoCAAAvyAIAAFSYAgAAGCQCAAAcOgIAAL6sAgAAAxACAAYR9gIAAAJIAgAABqwCAAAGjgIABTBtAgAA65wCAACb30IAALtnw Message-ID: References: <1330357150.2159.30.camel@guybrush> <693e15008681dfe7372eaea66214f8a8.squirrel@www.l-i-e.com> <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152C6C@il-ex2.zend.net> <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152F5D@il-ex2.zend.net> In-Reply-To: <887FE7CFF6F8DE4BB3A9535F53AFD06AC3152F5D@il-ex2.zend.net> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Subject: RE: [PHP-DEV] Scalar type hinting From: johncrenshaw@priacta.com (John Crenshaw) > If it errors out or throws an exception, it's strict typing, regardless o= f naming. Actually, for purposes of this discussion, "strict" is defined. It means "P= HP complains about (function(int $n){})('1'), even though it could have eas= ily converted it." The majority of arguments in the past, and especially th= ose that have caused the typing discussions to fall apart, have centered ar= ound reasons why this sort of typing is bad. Strict, by this definition, is= totally off the table in this discussion. Period. With respect to E_RECOVERABLE_ERROR, nobody seems especially attached to th= is, except that it is consistent with current type hints, so it is the logi= cal choice. A consistent alternative would be a new E_TYPE error (and conve= rt existing type hints to use that), but that would be a BC break and expan= ds the scope of the proposal more than I think some people are comfortable = with (myself included). > Are you essentially telling us we all have to waste our time again just b= ecause 6 months have passed? No, we're discussing this again because for the first time we have a set of= terminology that we can use to explain how this is different from the terr= or that has primarily been avoided in the past. I'm in favor of moving the discussion elsewhere while details are fleshed o= ut and carefully compared to the historical arguments, but so far there has= been no consensus on where to move this. I'll personally resist any attempt to submit anything that isn't substantia= lly different from prior proposals and/or that doesn't include solutions to= the problems previously identified. John Crenshaw Priacta, Inc.