Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:53092
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.42 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
        b=TrIE7TBg7houkbhRaN+sGXsusOcNTzJaKgqniOhyZllpn8KQZDaRYP1PoGw7/2DDsh
         l/KezXmtAa0q/XCUZByHWYlujogJeehGzqsyF55oKsNuLM4gM9QXqMyH0d/PWssEHxy0
         7GModagVO1wK7G6FYI0po66LJbNOl9fe3Rllo=
MIME-Version: 1.0
Sender: ekneuss@gmail.com
In-Reply-To: <4DED3A29.1090209@sugarcrm.com>
References: <BANLkTimU6DxovPQFP6cOXE0sKTDchx5Ltg@mail.gmail.com>
	<4DED3A29.1090209@sugarcrm.com>
Date: Tue, 7 Jun 2011 00:41:36 +0200
Message-ID: <BANLkTi=7MxcDLs9RCr9txO4+3oGYS1uFPA@mail.gmail.com>
To: Stas Malyshev <smalyshev@sugarcrm.com>
Cc: Hannes Magnusson <hannes.magnusson@gmail.com>, PHP Development <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Callable typehint
From: colder@php.net (Etienne Kneuss)

Hi,

On Mon, Jun 6, 2011 at 22:35, Stas Malyshev <smalyshev@sugarcrm.com> wrote:
> Hi!
>
>> See attached patch+phpt; Any objections to include it in 5.4?
>
> Yes, same objections as for other static typing.

Those objections do not apply here IMO.

IIRC, the main objections were that if we introduce strict hints for
scalar values, then we start rejecting stuff that would "just work"
via implicit conversions before. i.e. "2" vs 2.

In this case, if you don't provide a valid callback to a function
expecting a valid callback, there is no way it will "just work".

Just like with other type hints, if you write function foo(A $b) and
pass B which is not a subtype of A, there is no way foo() will "just
work", as there is no way it will be able to interpret the value, an
object of type B, as an object of type A.

+1 from me, this seems very useful.

>
> --
> Stanislav Malyshev, Software Architect
> SugarCRM: http://www.sugarcrm.com/
> (408)454-6900 ext. 227
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>



-- 
Etienne Kneuss
http://www.colder.ch