Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:48398
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.42 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        b=EG6KqD4J1+3t0Ha/jb9eM82nDEffdgJ5wJaeJolyAXnyEkRXSwiOrV8AsipmBsVLbe
         Di3zj4ifBu6HLPs9GxLAnRIfTnvlCnBRd7QHb0be/Npzsi7RH+j0qHCni2WlZZyTZ/Ac
         5V9SsMV9kLEYx7uDGZX9FYItnjZRjhx18f3pk=
MIME-Version: 1.0
In-Reply-To: <93EFAEF4-26F3-44A1-85ED-5E71E665B966@pooteeweet.org>
References: <7.0.1.0.2.20100522175819.0a601c68@zend.com>
	 <AANLkTinbzzKJlnCvJvunbxyJK_sufCi4sDcfH008evtx@mail.gmail.com>
	 <93EFAEF4-26F3-44A1-85ED-5E71E665B966@pooteeweet.org>
Date: Sun, 23 May 2010 00:01:04 +0200
Message-ID: <AANLkTikHOL_Tp1jhhOVTD3cFbnw0eA1zAVWKJx0BU1W4@mail.gmail.com>
To: Lukas Kahwe Smith <mls@pooteeweet.org>
Cc: Josh Davis <phpwnd@gmail.com>, Zeev Suraski <zeev@zend.com>, internals@lists.php.net
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [PHP-DEV] Type hinting
From: hannes.magnusson@gmail.com (Hannes Magnusson)

On Sat, May 22, 2010 at 22:39, Lukas Kahwe Smith <mls@pooteeweet.org> wrote:
>
> On 22.05.2010, at 18:30, Josh Davis wrote:
>
>> As you wrote, you worked on PHP's _type system_ which is dynamic,
>> really cool, juggles strings with ints and what not. However, the
>> topic here is the _type hinting system_. As far as I know, there's no
>> "weak" type hinting; if a method signature hints for an array and is
>> given an integer, it throws a catchable fatal error. Therefore, as a
>> user, what I am familiar to is a strict _type hinting system_.
>> Anything else would feel inconsistent to me.


I agree. function foo(array $x) {} foo(123); doesn't cast int(123) to
array(123) so introducing different meaning for scalar types feels
very very wrong.



> can we please just stop calling a something a "type hinting" system, which leads to a catchable fatal error when the type does not strictly match? thats a very misleading euphemism. its simply strict typing, it has nothing to do with hinting.
>

It definitely isn't strict either:

$ php -r 'function errh() {} set_error_handler("errh",
E_RECOVERABLE_ERROR); function bar(foo $x) {echo "hello world\n";}
bar(1);'
hello world

-Hannes