Re: [Pre-RFC] Reified generics

On Thu, Aug 6, 2026, at 11:00, Barel wrote: > Hi, > > In this RFC https://wiki.php.net/rfc/bound_erased_generic_types > Seifeddine Gmati proposed bound-erased generics for PHP. The RFC did not pass mainly because people > thought that, if later on reified generics were added on top of this, there would be BC breaks for > code that was not type checked and then started to be type checked. To try to avoid this objection, > Rob Landers implemented an experimental reified version of generics on top of Seifeddine's > proposal. > > There was very little discussion about this proposal because Seifeddine put the RFC to vote > very soon after Rob sent it. I think that this was a very valid proposal that should have been > explored in more detail. What I have tried to do is to bring this proposal forward and make it > complete. > > This is the branch where you can find my implementation (it's based on Rob's branch): > https://github.com/carlos-granados/php-src/tree/reify > > I wrote a document about all the changes and the findings: > https://github.com/carlos-granados/php-src/blob/reify/docs/source/core/reify.md > > Looking forward to your thoughts, comments and suggestions > > Cheers > > Carlos Hi Carlos, You really should have reached out instead of a working in isolation. Join us in discord, the proposal is delayed until September-ish. — Rob