Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63575
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.170 as permitted sender)
References: <712F4499-949C-4C6F-A142-736A1B156189@gmail.com> <50831148.1070808@lerdorf.com>
Mime-Version: 1.0 (1.0)
In-Reply-To: <50831148.1070808@lerdorf.com>
Content-Type: text/plain;
	charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Message-ID: <6E76ACFF-FD5B-4BB9-8180-990D0156ECD6@gmail.com>
Cc: Nikita <inefedor@gmail.com>,
 "internals@lists.php.net" <internals@lists.php.net>
Date: Sat, 20 Oct 2012 16:09:50 -0500
To: Rasmus Lerdorf <rasmus@lerdorf.com>
Subject: Re: [PHP-DEV] Generics proposal
From: mikegstowe@gmail.com (Michael Stowe)

I see what you're trying to do but not a big fan of how it's being implement=
ed in the example given.=20

- Mike

Sent from my iPhone

On Oct 20, 2012, at 4:02 PM, Rasmus Lerdorf <rasmus@lerdorf.com> wrote:

> On 10/20/2012 01:59 PM, Nikita wrote:
>> Hello, list. I want to propose generics. For those, who don't know what i=
t is, here's example: say we have a Comment class, that has a method getBody=
. Also we have Collection class, that implements Traversable. Now, if I want=
 to validate all insertions into collection of comments, I would need to cre=
ate CommentCollection class, extend it from Collection, and override all the=
 methods that are dealing with adding new elements to collection. Moreover, I=
 can't have any hints from my IDE about type of collection's elements, so if=
 I'll have code like this:
>> foreach ($commentCollection as $comment) {
>>    $comment->getBody();
>> }
>> There will be no way for IDE to know, of what type that object will be.
>>=20
>> But there's how I could solve my problem with generics:
>> class Collection<T> implements Traversable
>> {
>>    ...
>>    public function add(T $element){}
>> }
>> $collection =3D new Collection<Comment>();
>>=20
>> $collection->add(new Comment());
>>=20
>> $collection->add("that will be error");
>>=20
>> Actually, that's, again, all about type hinting. If we went so far with s=
calar type hinting, then generics would also be a good addition.
>>=20
>> So, what you think?
>=20
> Personally I would hate to see this anywhere near PHP.
>=20
> -Rasmus
>=20
>=20
> --=20
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>=20