Hack — язык основанный на PHP от Facebook

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