Type hints are not hints

As Kevlin Henney pointed out at the PHP UK Conference 2007, PHP type hints are not hints.
Rather, they are instructions to PHP to check the type. That may not be terribly important,
but it’s worth pointing out, since confusing terminology is less confusing if you understand how it’s confusing.

Anyway, I hereby apologize to the gods of programming for using the term and for the fact that I intend to keep on using it.