While I couldn't find any specific info, concerning compiling applications with HHVM (it seems to just perform JIT), this seems to suggest you can type check wi

While I couldn't find any specific info, concerning compiling applications with HHVM (it seems to just perform JIT), this seems to suggest you can type check without having to go into the runtime, "Hack provides instantaneous type checking via a local server that watches the filesystem."[0] >If we're charitable and say that HHVM has gradual typing, then really it's just slightly better gradual typing than what PHP already has. Isn't a mix of dynamic typing and static typing, being optional which you use, the definition of gradual typing? Wiki also seems to agree with this[1][2]. I'd say HHVM greatly improves on PHPs type hinting[3], which is rather basic, unless you want to recreate every basic type as an object. Also, with PHP type hinting, you can't specify types of Object attributes/variables, which you can in Hack/HHVM. [0] http://hacklang.org http://hacklang.org [1] http://en.wikipedia.org/wiki/Gradual_typing http://en.wikipedia.org/wiki/Gradual_typing [2] http://en.wikipedia.org/wiki/Hack_(programming_language) http://en.wikipedia.org/wiki/Hack_(programming_language) [3] http://php.net/manual/en/language.oop5.typehinting.php http://php.net/manual/en/language.oop5.typehinting.php