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,
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
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
I have no idea where that discord is, can you point me to it?
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
I have no idea where that discord is, can you point me to it?
Cheers
Carlos
https://discord.com/channels/356354025865740288/970793312791445514 or https://discord.com/channels/356354025865740288/1507404597571092590
— Rob
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
I have no idea where that discord is, can you point me to it?
Cheers
Carlos
https://discord.com/channels/356354025865740288/970793312791445514 or
https://discord.com/channels/356354025865740288/1507404597571092590— Rob
Rob,
Thanks, it seems that to join a channel I also need to know the server
where It lives (I've never used Discord much before). Can you share this
info as well?
Cheers
Carlos
Thanks, it seems that to join a channel I also need to know the server
where It lives (I've never used Discord much before). Can you share
this info as well?Cheers
Carlos
The PHP Community chat is unofficial, but lately it's where the big names are hanging out, including a lot of Internals regulars. Beware, the Internals channel is annoyingly noisy and has a hard time staying on topic. :-)
--Larry Garfield