Hack (linguaggio di programmazione)

Hack
linguaggio di programmazione
AutoreJulien Verlaguet, Alok Menghrajani, Drew Paroski, and others
Data di origine2014
Ultima versione4.172 (2 novembre 2022)
UtilizzoHipHop Virtual Machine (HHVM)
Tipizzazionestatic, dynamic, weak, gradual
Influenzato daPHP, OCaml, Java, C#, Scala, Haskell
Implementazione di riferimento
Sistema operativoCross-platform
Licenzalicenza MIT
Sito webhacklang.org

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.[1][2]

Hack permette ai programmatori di usare contemporaneamente sia la tipizzazione dinamica che quella statica. Questo modello di tipizzazione viene chiamato tipizzazione graduale, implementata anche in altri linguaggi di programmazione come l'ActionScript.[3] 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.

  1. ^ Josh Lockhart, Facebook's Hack, HHVM, and the future of PHP, su radar.oreilly.com, O'Reilly Media, 3 aprile 2014. URL consultato il 2 agosto 2014.
  2. ^ Cade Metz, Facebook Introduces 'Hack,' the Programming Language of the Future, su wired.com, Wired, 20 marzo 2014. URL consultato il 15 aprile 2014.
  3. ^ Aseem Rastogi, Avik Chaudhuri Basil Hosmer, The Ins and Outs of Gradual Type Inference (PDF), su cs.umd.edu, Association for Computing Machinery (ACM), gennaio 2012. URL consultato il 23 settembre 2014.

Developed by StudentB