The only missing thing about PHP types is generics (array<int> and similar) and non-explicit coercions, which can be fixed with `declare(strict_types=1)`. Other than that, all types checks are enforced at runtime, unlike Typescript.
You're presenting this as if it's a feature. I think that's a good summary of PHP and its culture's relation to types.