Just a quick rough-up of a proposal idea by @email@example.com for static return type hints in PHP.
There's probably a little extra work to be done to ensure covariance rules are respected, but this is a place to start discussion.
@pollita wow. Neat diff you made there. That took a surprisingly small amount of changes 😁
@johmanx10 Yeah, I was pleasantly surprised by how much of the work was already done. Could roll static as a param type hint as well, but I legit have zero idea what that would buy anyone.
@pollita nah, sounds like introducing a world of hurt. The only use case I see there is if you want to have an equals method for value objects put in a trait. Does that even work, given that you get class composition with traits? In other cases, you can solve this with covariance, I'm sure.
@johmanx10 Yeah, that's what I'm saying. Every use-case I try to imagine ends up looking like something we can already do in a different way. /shrug
@pollita I'm here, now, too! Yay? :)
Open source. Open community. We are dedicated to building and enriching the PHP community.