I thought Hack is dead or not intended for public use anymore.
But after some quick checking, I learned that Hack is still actively maintained, surprisingly.
It is, and Hack exists ONLY because PHP was not cutting it for a big project like facebook. Its the biggest example out there why should not use PHP for anything close to, say 10% of facebook scale.
The backend of Facebook's frontend is written in Hack. For longest time, I wouldn't believe it... and then I saw the code with my own eyes.