Today we are very proud to announce the 1.0 release of Rust, a new programming language aiming to make it easier to build reliable, efficient systems. Rust combines low-level control over performance with high-level convenience and safety guarantees. Better yet, it achieves these goals without requiring a garbage collector or runtime, making it possible to use Rust libraries as a “drop-in replacement” for C. If you’d like to experiment with Rust, the “Getting Started” section of the Rust book is your best bet (if you prefer to use an e-reader, Pascal Hertleif maintains unofficial e-book versions as well).
I just had finished an article about facebooks new programming language. I am compiling it right now (thats there is a aur package available for hhvm).
In general, it looks like hack is friendship php with benefits. Can be run as script language, can be used as dynamically typed. Yes you are right, both times a "can be", indicating "can run as compiled code" and "can be statically typed" (or how they called it gradual typing.
So what hack is hack?
Hack is a programming language 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.
Hack provides instantaneous type checking via a local server that watches the filesystem. It typically runs in less than 200 milliseconds, making it easy to integrate into your development workflow without introducing a noticeable delay.
Good articles are starting to spreading around, first i found was on sitepoint.com.
I was searching for a support announcement of hack for phpstorm and yes, there is a feature request for hack support as well as a feature request for hvvm debugger out there. Crossing fingers to get it in asap :-D.