What I'm wondering, for anyone who's used it, is if the typechecker could be used in this situation:
Their documentation doesn't seem to describe the operation of the typechecker (hh_server and hh_client?) in any detail. I can't build hhvm at the moment for lack of access to a 64-bit VM, so I haven't been able to use the typechecker that they have.
