Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85096
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.160.176 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <DUB113-W150D29DD78B1EC0DBBFE85F9020@phx.gbl>
References: <CAFp73XvmrZ3VTEHAoUAMgFbK1Sx5D4CdQpT9e9+=HQUBFGNuKw@mail.gmail.com>
	<55033D61.8050405@lsces.co.uk>
	<CFD2AB9E-E72F-4D2A-94E0-92CA13D5F155@gmail.com>
	<DUB113-W1388DE29A133134FAAF3A62F9020@phx.gbl>
	<A6F8ED9C-AF4E-4626-897F-2999689A843D@gmail.com>
	<DUB113-W150D29DD78B1EC0DBBFE85F9020@phx.gbl>
Date: Mon, 16 Mar 2015 22:01:52 +0000
Message-ID: <CALwr1Gmrsqhc-CZicCKX+9B-ooShpEeFEd4FG5Ra=dYgdtKFkw@mail.gmail.com>
To: Thomas Punt <tpunt@hotmail.co.uk>
Cc: David Muir <davidkmuir@gmail.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] STH and the 3 RFCs
From: padraic.brady@gmail.com (=?UTF-8?Q?P=C3=A1draic_Brady?=)

Hi Thomas,

On 16 March 2015 at 20:51, Thomas Punt <tpunt@hotmail.co.uk> wrote:
>
>> No, your example would blow up regardless of the caller being in strict =
mode or weak mode.
>
> That was the point in my hypothetical example - the library can decide
> what mode it wants the user to use (strict or weak) if it wants to.

Sticking with that as a theory...

function foo ($i) {
    if(!is_int($i)) {
        throw ToysOutOfPramException('I need an integer!');
    }
}

We can already do this. Indeed, we do do this. Yes, it *might* be seen
as a dick move employing any sort of trick to push strict type hints
specifically, but being explicit is quite acceptable. I have code
stuffed full of those gems and deployed =3D=3D=3D checks. So while I
appreciate it looks bad, it's nothing all that new to find people
taking steps to enforce a strict view of acceptable values. There's a
reason why type hints, in some form, have support from the community.

Paddy

--
P=C3=A1draic Brady

http://blog.astrumfutura.com
http://www.survivethedeepend.com