Yeah, at a previous job we used Hack around the time PHP7 was released and switched over to PHP7 pretty quickly. Performance and type checking were the only be

Yeah, at a previous job we used Hack around the time PHP7 was released and switched over to PHP7 pretty quickly. Performance and type checking were the only benefits over PHP5 and with those (mostly) gone, you were just left with all the downsides like all the good tooling for PHP being incompatible with Hack and, and general compiler/interpreter errors that were never getting fixes.