I agree with the author about the superset, this is how it should be done. The current PHP type system has many weaknesses (e.g. generics, typed collections, et

I agree with the author about the superset, this is how it should be done. The current PHP type system has many weaknesses (e.g. generics, typed collections, etc.) that aren't easily solved, and I don't want to use some static analysis tool that relies on comments to type my code properly.