Facebook have released a new programming language based on PHP called Hack. Basically it appears to work much like PHP, but with static typing.
Today we’re releasing Hack, a programming language we developed for HHVM that interoperates seamlessly with PHP. Hack reconciles the fast development cycle of PHP with the discipline provided by static typing, while adding many features commonly found in other modern programming languages.
Looks interesting. Although I’m not all that keen on the name.