Hack

Hack è un linguaggio di programmazione per la macchina virtuale HipHop (HHVM), creato da Facebook come un dialetto del PHP. L'implementazione del linguaggio è open-source, concessa sotto i termini della Licenza BSD. Hack permette ai programmatori di usare contemporaneamente sia la tipizzazione dinamica che quella statica. Questo modello di tipizzazione viene chiamato , implementata anche in altri linguaggi di programmazione come l'ActionScript. Il sistema dei tipi del linguaggio Hack permette di specificare tipi per i parametri delle funzioni, per i valori di ritorno e per le proprietà di classe ma il tipo delle variabili locali è sempre dedotto dalla macchina.