Facebook представил новый язык программирования Hack, основанный на языке PHP и выполняющиеся с использованием виртуальной машины HHVM (HipHop Virtual Machine) поддерживающей JIT-компиляцию. Виртуальная машина HHVP может выполнять обычный PHP, но при выполнении программ на языке Hack обеспечивается более высокая производительность, благодаря наличию информации о типах в процессе JIT-компиляции удаётся сгенерировать более оптимальный и компактный машинный год.
Отличия Hack от PHP сводятся к поддержке статической типизации и ряда расширенных возможностей, заимствованных из других языков программирования.
Кроме статической типизации, язык Hack поддерживает некоторые другие возможности, такие как обобщения, коллекции, лямбда-выражения, механизмы асинхронного программирования, составные shape-структуры, средства для переопределения имён типов. Обо всех новых возможностях можно узнать в разделе Hack Language Reference документации.
Так же Hack отказался от некоторых возможностей стандартного PHP, о которых можно узнать в разделе Unsupported PHP Features документации.
Facebook уже опробовал язык Hack в промышленной эксплуатации, и перевел на него большую часть своих PHP-проектов.
Официальная презентация: code.facebook.com/posts/264544830379293/hack-a-new-programming-language-for-hhvm/
Официальный сайт языка: hacklang.org
Интерактивный туториал: hacklang.org/tutorial