With Hack's extensive static type checking and even contexts / coeffects, it's much more than just performance. The bigger your system grows, the more pain it removes.

You still can mix it with plain PHP, much like you can mix TypeScript with plain JavaScript.

I wish high-profile PHP projects, like Nextcloud, migrated to Hack eventually; it can be done piecemeal.