> PHP, however, has types. == is wildly unpredictable

It's deterministic. It is by definition not unpredictable.

http://us3.php.net/manual/en/types.comparisons.php