> Facebook created Hack, a version of PHP with a quite nice static type system, which is virtually not used outside it.

Well there’s at least Slack, and another huge project (which has eventually migrated away from it once PHP has improved) with tens of millions of users. There has to be others, too.