Hack (langage)

Hack est un langage de programmation impératif créé par Facebook et proche du langage PHP dont il se distingue par un typage statique ainsi que d'autres éléments empruntés à divers langages. Un programme écrit en Hack s'éxécute au sein d'une machine virtuelle HHVM, ce qui permet de le faire cohabiter de façon transparente avec des programmes en PHP. Présenté officiellement le 20 mars 2014, Hack est utilisé sur la quasi-totalité du site de Facebook. À cette date, les principales différences à noter avec la version 5.5 de PHP sont : l'utilisation du tag « hh » pour indiquer le début d'une portion de code écrite en Hack : un typage statique, aussi bien pour les variables que pour les arguments et valeurs de retour des fonctions : la possibilité de définir des classes template : un opérateur « ? » de nullification permettant d'autoriser (ou d'interdire, en son absence) l'utilisation de valeurs « NULL » pour un type donné : une collection de types standards prédéfinis : Vector, Map, Set, Pair : l'implémentation d'expressions lambda sur le modèle des fermetures de PHP mais avec une syntaxe plus concise : la possibilité de définir un nouveau type basé sur des types existants : la possibilité de définir un nouveau type « opaque » dont le type d'origine n'est accessible que depuis la portion de code dans laquelle il est défini : les « Shapes », des structures avec un typage statique :