Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92555
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.175 as permitted sender)
MIME-Version: 1.0
Sender: jesseschalken@gmail.com
In-Reply-To: <57179C5F.9090101@garfieldtech.com>
References: <CADqTB_gUbfu91QRm1U0KyDjai8DKw7yCE6QxgUecy60oq3Zi8Q@mail.gmail.com>
	<CAKiSzdCO83XM0zqAeFnjQEMJvbd0yBmYAFnj0H6AtDumofVbkw@mail.gmail.com>
	<CAKiSzdCCEF=7OWtvZETG3bRoByCCLqEAEjuLW_H6m7MmDtJ8_g@mail.gmail.com>
	<CAFKaYMoQUUFLqgDjOHj3W0+a63u3s=vqnU5gWMCj0zvmvXFF5Q@mail.gmail.com>
	<3cc8a4c7-2640-11ae-a67b-06f909ac1e27@texthtml.net>
	<CAESVnVqCZnrbHa+5_tSYG70VyvGfpZoDM98bEst3pg36HahYEg@mail.gmail.com>
	<5716BB89.8030005@gmail.com>
	<CAESVnVoe9WxNmLj0_N4HaOAmyyfMAp6yu0an6T5e9taZ2Raptg@mail.gmail.com>
	<CAFp73Xvrh3xKvYs4RZ_mxhL+6+ppm3mdpfV6vdfYv8CLEQ9wxg@mail.gmail.com>
	<571799B8.1060201@gmail.com>
	<57179C5F.9090101@garfieldtech.com>
Date: Thu, 21 Apr 2016 02:01:09 +1000
Message-ID: <CAF1yvAQ-zc91xADGS7-4i+O9nd7hWotZdzDK+b1WcFyXi5ZU9A@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113ed540bd711d0530ecb389
Subject: Re: [PHP-DEV] [RFC:generics]
From: me@jesseschalken.com (Jesse Schalken)

--001a113ed540bd711d0530ecb389
Content-Type: text/plain; charset=UTF-8

Yes, if you have "class Box<T extends Boxable>" and T is used for two
things, then "they must be of the same type, but they can be any same type
and that type must at least be Boxable". It means that Box can use a T as a
Boxable (call Boxable methods on it, etc).

On Thu, Apr 21, 2016 at 1:12 AM, Larry Garfield <larry@garfieldtech.com>
wrote:

> On 4/20/16 10:01 AM, Rowan Collins wrote:
>
>> guilhermeblanco@gmail.com wrote on 20/04/2016 03:54:
>>
>>> 1- Even though mentioned, I'd still use "extends" or "implements" instead
>>> of "is" (which would be a new pseudo-reserved keyword) to enforce data
>>> type
>>> consistency and prevent developers to potentially referring to one thing
>>> while consider another.
>>>
>>
>> Perhaps "instanceof" would make more sense here? "class FileProcessor<T
>> extends FileHandle>" seems to exclude instantiating
>> FileProcessor<FileHandle>, because "FileHandle extends FileHandle" doesn't
>> make any sense.
>>
>> You could read "class Box<T instanceof Boxable>" as an assertion that the
>> class passes the constraint, as in "public function __construct(T $t) {
>> assert($t instanceof Boxable); }"
>>
>> Regards,
>>
>
> I'm not an expert in generics by any means, but how is that different than
> just
>
> public function __construct(Boxable $t) {}
>
> I thought the point of generics was for cases like "these two variables
> must be the same type, but they can be any same type."
>
> --
> --Larry Garfield
>
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a113ed540bd711d0530ecb389--