Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:42687
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.219.33 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        b=AHvHF79jj9jCgeO70d/PpYJ5z1je5PYxruDRfHs3B1SyD2W/5fk/TEPUh71NdF05R9
         NyJB6nAXSBo07rH93P2cru5DFNqWWgr6bESTu6B0tG2qT8BOxyzNgA4JLghePEeG+hCp
         jyJVMwN88odFGRjJ/u1U8uw8hFUEo7IKwXnbU=
Message-ID: <4973A18F.1040808@gmail.com>
Date: Sun, 18 Jan 2009 21:39:27 +0000
User-Agent: Thunderbird 2.0.0.19 (Windows/20081209)
MIME-Version: 1.0
To: Hannes Magnusson <hannes.magnusson@gmail.com>
CC: Lukas Kahwe Smith <mls@pooteeweet.org>, internals@lists.php.net
References: <58.5A.41390.72012794@pb1.pair.com>	 <AF3C29BB-6653-42EE-BFC7-19D0E93A77B4@pooteeweet.org> <7f3ed2c30901181131x5f89eb55u3f25c75195d7279@mail.gmail.com>
In-Reply-To: <7f3ed2c30901181131x5f89eb55u3f25c75195d7279@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Really Need..
From: nrixham@gmail.com (Nathan Rixham)

Hannes Magnusson wrote:
> On Sun, Jan 18, 2009 at 17:42, Lukas Kahwe Smith <mls@pooteeweet.org> wrote:
>> On 17.01.2009, at 18:06, Nathan Rixham wrote:
>>
>>> a: Optional Static Typing
>>> I'm finding an ever increasingly need to be able to staticly type
>>> properties, parameters, return types etc (in classes) I know there is type
>>> hinting but it's just not enough to do what one needs. Additionally support
>>> for staticly typing primatives.
>> I am not a type hinting fan .. then again I think that PPP is mostly bogus
>> for a scripting language as well. I would not mind this stuff if it would
>> just all just throw E_STRICT's instead of E_FATAL. To me the point of a glue
> 
> It doesn't throw E_FATAL. It throws E_RECOVERABLE_ERROR which doesn't
> do anything.
> 

E_RECOVERABLE_ERROR seems appropriate IMHO

I've reworded my original mail completely maybe this one will have more 
feedback (or not)

question: Would anybody else like to see, or feel the need for, 
*optional* type hinting of variables and class properties in PHP?

examples (all optional, and syntax may differ):

class Example {
   private TypeHint $var;
}

Example $var = new Example();

in addition the ability to type hint primatives/scalars/[type object] in 
the existing implementation:

function(bool $flag) {
}

function(object $flag) {
}


This would all be under the assumption and proviso that an 
implementation would not break bc, have any markable perfomance hit, or 
in any other way effect existing applications or new applications that 
did not use the functionality (in the same way the existing type hinting 
implementation doesn't)

internals: can anybody confirm if this would even be possible and if so 
what the "cost" would be?

regards, thanks / apologies where needed etc.

Nathan