Having type annotations that are ignored at runtime would cause problems when you interact with code without type annotations, no?<p>PHP has a (unfortunately quite limited) set of type annotations, but the interpreter actually enforces them.