The point, though, is that with such a typehint available, we can reduce boilerplate code like the following:

public function addCallback($callback) { if (!is_callback($callback)) { throw new InvalidArgumentException(); }

The typehint makes this simpler:

public function addCallback(callback $callback)

which allows us to rely on PHP's native error handling. I, for one, would love to see this.