Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63882
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.170 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAESVnVrvHDd3wpyrAKs5vqm_EodjNAKQEP6uZd8iHdC4CA2XTw@mail.gmail.com>
References: <712F4499-949C-4C6F-A142-736A1B156189@gmail.com>
 <5084281C.9020507@sugarcrm.com> <CAAyV7nFk4dGY1pMvK+SPRHYe=XRJ14J0MYRyJSZCS4Cv-2p+kw@mail.gmail.com>
 <CACQesk5Pn+V+WRUSU2S=kHvP+S2XaGnDXziSvs1jD+dOB_EziQ@mail.gmail.com>
 <CAFMT4Nr7Q6kcAjOZj5oEiLjG_YsDgL5HAt0fmyuPAN--bp6JeQ@mail.gmail.com>
 <CACQesk7rOgj+QcUmCasBPOnK2=AP_NR-9ukrBvmEtea7HzSkdg@mail.gmail.com>
 <CAESVnVp33OQkDk3KUnscL8nsCEKmUv2ThaOjEAbG6FFFO8yH5g@mail.gmail.com>
 <B924BE82-3566-439F-97C9-C48B97DA0D84@strojny.net> <CAESVnVrvHDd3wpyrAKs5vqm_EodjNAKQEP6uZd8iHdC4CA2XTw@mail.gmail.com>
Date: Thu, 15 Nov 2012 16:39:26 +0100
Message-ID: <CAM4sM9FsAkNS_EaMDOF9ha2z9Ch+gQxU=hmOWJHSa983US3HTw@mail.gmail.com>
To: Sara Golemon <pollita@php.net>
Cc: Lars Strojny <lars@strojny.net>, Etienne Kneuss <colder@php.net>, 
	Levi Morrison <morrison.levi@gmail.com>, Anthony Ferrara <ircmaxell@gmail.com>, 
	Stas Malyshev <smalyshev@sugarcrm.com>, Nikita <inefedor@gmail.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=20cf3074d566f3497604ce8a75aa
Subject: Re: [PHP-DEV] Generics proposal
From: juzna.cz@gmail.com (Jan Dolecek)

--20cf3074d566f3497604ce8a75aa
Content-Type: text/plain; charset=UTF-8

Hi Sara, any progress with your RFC? Can't wait to see it.
Thanks

Jan Dolecek
juzna.cz@gmail.com


On Wed, Nov 7, 2012 at 6:41 AM, Sara Golemon <pollita@php.net> wrote:

> Retrying this with reply-to-all. :)
>
> I think it's an awesome moment for PHP and HipHop to work together! :)
>  I'll summarize what we have so far into an RFC.
>
> -Sara
>
> On Tue, Nov 6, 2012 at 12:50 PM, Lars Strojny <lars@strojny.net> wrote:
> > Hey Sara,
> >
> > can you already show us how your take on Generics would look like? Maybe
> this is a good moment for HipHop and PHP to do something together.
> >
> > Am 06.11.2012 um 04:14 schrieb Sara Golemon <pollita@php.net>:
> >
> >> Sorry to be late to the conversation, but fwiw, HipHop is adding
> >> Generics (and some other cool things) to our PHP implementation.  We
> >> plan to provide a PHP equivalent implementation in the form of a
> >> pre-processor extension which can live in PECL.  The implementation
> >> would of course be cleaner if done directly in the engine, but with
> >> APC the performance hit of doing an extra transformation pass should
> >> disappear. Hopefully this satisfies both the want for Java/C++-like
> >> syntax without "polluting" the language.
> >>
> >> -Sara
> >>
> >> On Tue, Oct 23, 2012 at 4:21 AM, Etienne Kneuss <colder@php.net> wrote:
> >>> Hi,
> >>>
> >>> On Tue, Oct 23, 2012 at 4:17 AM, Levi Morrison <
> morrison.levi@gmail.com> wrote:
> >>>>>> Especially if the ability was afforded to arrays as well (function
> >>>>>> foo(array<Bar> $array){})...
> >>>>>
> >>>>> This would require O(n) runtime tests, I would definitely not go
> there.
> >>>>
> >>>> Actually, it does not require O(n) runtime tests.  The solution is
> >>>> simple: store the type when it is created. Whenever an element is
> >>>> added, make sure it matches the correct type.  All this does is add
> >>>> some flat overhead.
> >>>
> >>> If you test every time you add one element, that's still O(n) tests
> >>> where n is the size of the array, the only benefit is that it is not
> >>> checked for each calls to a function. But now we are talking about
> >>> attaching non-trivial types to variables, and non-trivial checks in a
> >>> lot of places (think references etc..), let's not go there...
> >>>
> >>>>
> >>>> I am also supportive of the idea of having generics, but I am not sure
> >>>> that the work it would take is worth it.
> >>>
> >>>
> >>>
> >>> --
> >>> Etienne Kneuss
> >>> http://www.colder.ch
> >>>
> >>> --
> >>> PHP Internals - PHP Runtime Development Mailing List
> >>> To unsubscribe, visit: http://www.php.net/unsub.php
> >>>
> >>
> >> --
> >> PHP Internals - PHP Runtime Development Mailing List
> >> To unsubscribe, visit: http://www.php.net/unsub.php
> >>
> >
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--20cf3074d566f3497604ce8a75aa--