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
