The type system isn’t expressive enough for these tools to catch anything but the most basic errors.

In PHP, typing is for function signature documentation.