Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:80458
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.218.44 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <1337AC4E-7705-4A5E-8CBB-8BBB0A18BB9D@ajf.me>
References: <8DCD1B72-C81D-499E-B455-E4A042CD76E6@ajf.me>
	<CAMUwpuR2QbvSoiKM=r_gc3hexvvTn0mxJ52hvkueRoGm3f8XXQ@mail.gmail.com>
	<76F9DAD3-5A22-4A53-8262-CF6B33D80FC3@ajf.me>
	<CAPhkiZw8FZy_fxp2-y=eRXsoqX7kyuda1z2TzhyOZHgx_BZU2g@mail.gmail.com>
	<1337AC4E-7705-4A5E-8CBB-8BBB0A18BB9D@ajf.me>
Date: Wed, 14 Jan 2015 13:37:18 +0200
Message-ID: <CAPhkiZw=seHM-vtntjth-D_pV3qGC=_JaKHcBVcTeV4GMrKtxA@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Julien Pauli <jpauli@php.net>, PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC] Scalar Type Hints v0.2
From: narf@devilix.net (Andrey Andreev)

Hi again,

On Wed, Jan 14, 2015 at 1:21 PM, Andrea Faulds <ajf@ajf.me> wrote:
> Hi Andrey,
>
>> On 14 Jan 2015, at 11:10, Andrey Andreev <narf@devilix.net> wrote:
>>
>> I don't understand why it should be a bad thing that the API author
>> forces rules on the consumer. The opposite is IMO fundamental to the
>> concept of an API - the rules specified by the author are a contract
>> that the consumer agrees to, and which allows for the whole thing to
>> work properly.
>>
>> In this form, I don't get any benefit from strict type checks, because
>> I only want them so that writing foo(int $bar) guarantees me that the
>> caller *passed* an integer. Instead, I'd have to NOT use a type hint,
>> and instead do an is_int($bar) check inside ... this beats the whole
>> purpose.
>
> Why? What is wrong with a caller choosing to use weak type hints? Either way you receive an integer.

Because it's pointless. Why would I want strict checks if I only cared
for getting an integer? The whole point is that I care for what the
caller passed, that I want specifically a check instead of a cast.

Cheers,
Andrey.