This is also how Meta got Hack. It's not like PHP is unsafe to begin with like C++, but the language does have a ton of problems, and Meta's massive codebase c

This is also how Meta got Hack. It's not like PHP is unsafe to begin with like C++, but the language does have a ton of problems, and Meta's massive codebase could only be migrated to another language gradually. Hence, Hack. Better language, better tooling, more productive programmers. Note that unlike Carbon/C++, Hack is backwards-compatible with PHP. So the migration is somewhat more gradual.