3 ms·No. Hack's type system is unsound and HHVM discards all type information from Hack.by sanxiyn 8y agoNo. Hack's type system is unsound and HHVM discards all type information from Hack.