[mmckeen]

So basically PHP is still catching up to Hack and but not quite there yet?

[kijin]

Hack might be better from a language design point of view, but most people outside of Facebook seem to have lost interest in it once PHP 7 caught up to it performance-wise.

[nine_k]

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.

[tpetry]

Hacks language is better, nobody will deny it. But outside of facebook there is barely no community, not many big open source projects. And as the language is now incompatible you even may not be able to use php libraries.

[tyingq]

That sounds right, but probably at considerably lower cost.