Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:67818
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain ralphschindler.com from 209.85.213.54 cause and error)
Message-ID: <51C9E5DF.9080104@ralphschindler.com>
Date: Tue, 25 Jun 2013 13:47:59 -0500
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:17.0) Gecko/20130509 Thunderbird/17.0.6
MIME-Version: 1.0
To: internals@lists.php.net
References: <CAAyV7nGo4+n_4Ad7oKyuvLWTtmnui7fn6s-noCwG2PtT5A70tQ@mail.gmail.com>
In-Reply-To: <CAAyV7nGo4+n_4Ad7oKyuvLWTtmnui7fn6s-noCwG2PtT5A70tQ@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] RFC: Protocol Type Hinting
From: ralph@ralphschindler.com (Ralph Schindler)

Anthony,

I like it.  The one thing that is lacking in the PHP ecosystem is some 
kind of support for a "Gentleman's Agreement" when it comes to APIs.  I 
am very much opposed to central bodies of code and/or shared interfaces 
(like the PSR-3's et. al.) for seemingly simple and cross-cutting APIs.

An idea I had been kicking around, if yours in full does not pass the 
muster, was adding a function to do something similar (also requires 
changes to the instanceof checks in the engine):

   register_compatible_types($yourType, $myType);

which basically would allow any of $myTypes (My\LoggerInterface) to pass 
when the engine is testing for instanceof $yourType.

I do hope we get something like either of these solutions for PHP.next.

-ralph

On 6/25/13 10:57 AM, Anthony Ferrara wrote:
> Hey all,
>
> I want to throw out this draft RFC to get the concept floating around and
> get feedback early.
>
> https://wiki.php.net/rfc/protocol_type_hinting
>
> There are still open questions, and a more complete (and cleaner)
> implementation will be needed before officially proposing it, but I wanted
> to get the concept out as soon as possible.
>
> What do you think?
>
> Thanks!
>
> Anthony
>