PHP Generics Extension

I'm a believer in adding as much type information as you can when programming. It gives IDEs and static analysis tools so much power to find bugs or give useful suggestions. I work with PHP, which has historically been a very loose language. It's gotten better over the years and now has typed properties, return types, unions, intersections, DNF , etc. What we don't have is generics: class Thing <…