Hack is a programming language for HHVM, created by Facebook. It is a dialect of PHP with a focus on modern programming.
Hack provides a type system and type checking at runtime. This allows for more reliable code and easier refactoring.
Hack also supports async programming, making it easier to write programs that are responsive to user input.
Facebook has used Hack in production since 2012, and it is now open source.