if we use strict the type hinting must be set, and then the ArrayAccess gets broken, a note to the documentation was added due to this bug (http://docs.hhvm.com/manual/en/class.hack.arrayaccesstktv.php)

I dont like it very much the ArrayAccess magic but is a common interface. I think that we can afford this vagueness until this bug get fixed.