Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:37105
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.200.171 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references;
        b=Us7LAT8t2yDFqCyPx3wZ9cx263GpvrA1YPGb6EcdnjONb7fdhXprJrmrJlCVwv2JF2e8913FD0U7wiQRT8iWcEUSzZQT27FNmVsVXnwPDI4ppxO/NUbo8BGb/PXpyGrIVeO7nAaza9dmKG9wXWLMJKv7TNRosxYzunfrxG1kMt8=
Message-ID: <e2e02fe0804171110o4ae16ce8xde6000fa036fb259@mail.gmail.com>
Date: Thu, 17 Apr 2008 11:10:02 -0700
To: "Stanislav Malyshev" <stas@zend.com>
Cc: internals@lists.php.net
In-Reply-To: <48078FF9.7040304@zend.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_1249_9535815.1208455802841"
References: <46ccd1ab0804170742g142ed562t4f03339da549a820@mail.gmail.com>
	 <48077BD2.2000107@zend.com>
	 <e2e02fe0804170950udd38ab3m21e6d658254f042a@mail.gmail.com>
	 <48078168.1070801@zend.com>
	 <e2e02fe0804171006i5efaaeb5lf67752bd3c365305@mail.gmail.com>
	 <48078FF9.7040304@zend.com>
Subject: Re: [PHP-DEV] [RFC] Strict type hints (parameter and return value)
From: chrisstocktonaz@gmail.com ("Chris Stockton")

------=_Part_1249_9535815.1208455802841
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

On Thu, Apr 17, 2008 at 10:59 AM, Stanislav Malyshev <stas@zend.com> wrote:

> Hi!
>
>  Seeing how you work for zend I thought maybe you have used the zend
> > framework = ) Sorry in my example I used "int" instead of "numeric", but my
> > point is the same, grep in zend framework for is_bool.
> >
>
> It might come as a surprise to you, but I did not write whole Zend
> Framework personally :) Moreover, as even more surprise I did not even
> inspect personally each line of code. As a final shock, I am not convinced
> functions in PHP should throw exceptions when parameters don't match - and
> even if they do, first they should attempt to make sense of parameters
> (which makes string hints like "integer" and "string" make no sense - you
> can convert a lot of things to int or string). Even if they can't, it's much
> better to be handled on user code level with error message that makes sense
> and way that makes sense for application - but I could kind of live with the
> scenario where these hints would work as internal function types work now.
> However, that's not what is proposed - what is proposed is that if you've
> got int typehint, '1' would be rejected. Having such restriction makes no
> sense and goes contrary to what PHP and dynamic languages in general are.


That first part made me laugh, hehe. I wanted to just point out that your
company was a good example of how code could be minimized using type checks.

I understand your philosophy with dynamic types in php, but there are times
that these dynamic types have really shot people in the foot and added
exploits and bad coding practices, which is why high-quality frameworks push
users to use correct types, zf is just one of many examples my friend.

I get your point of 12 and '12', which is why I proposed earlier numeric
hinting would be very appropriate.

-Chris

------=_Part_1249_9535815.1208455802841--