Hack (langage)

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Page d'aide sur l'homonymie Pour les articles homonymes, voir Hack (homonymie).

Hack
Logo.

Date de première version 2014
Paradigmes Impératif, objet, fonctionnel, procédural, réflexif.
Langage interprété
Auteur Facebook
Développeurs Facebook
Typage Statique, Fort
Influencé par PHP
Système d'exploitation Multiplate-forme
Licence Licence BSD
Site web hacklang.org

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 pouvoir le faire cohabiter de façon transparente avec des programmes en PHP.

Présenté officiellement le [1], 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 :
<?hh echo "Hello world"; ?>
  • un typage statique, aussi bien pour les variables que pour les arguments et valeurs de retour des fonctions :
int $x = 1;
function f (int $x) : string {
    if ($x == 1) {return "Hello world";}
    else {return "x est différent de 1";}
}
  • la possibilité de définir des classes template :
class Liste<T> {
    public function insert (T $data) : void {
        /* insère dans la liste la donnée de type T */
    }
    public function count() : int {
        /* retourne le nombre d'éléments de la liste */
    }
}
  • un opérateur « ? » de nullification permettant d'autoriser (ou d'interdire, en son absence) l'utilisation de valeurs « NULL » pour un type donné :
function estNul (?int $x) : bool {
    if ($x == null) {return true;}
    else {return false;}
}
  • une collection de types standards prédéfinis : Vector, Map, Set, Pair :
$chiffres_impairs = Vector {1,3,5,7,9};
foreach ($chiffres_impairs as $chiffre) {
    echo $chiffre." est un chiffre impair.\n";
}
function ajouteExtensionHack() : (function(string): string) {
    $extension = '.hh';
    return $y ==> $x.$extension;
}
function test(): void {
    $fonction = ajouteExtensionHack();
    echo $fonction ('index'); // affiche "index.hh"
}
  • la possibilité de définir un nouveau type basé sur des types existants :
type Point = (int,int);
type VecteurEntiers = vector<int>;
  • 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 :
// (fichier 1)
newtype Ordonnee = int;
newtype Abscisse = int;

Abscisse $x = 1;  // OK
int      $y = $x; // OK
Abscisse $z = $x; // OK
// (fichier 2)
Abscisse $x = 1;  // OK
int      $y = $x; // erreur : types incompatibles
Abscisse $z = $x; // OK
  • les « Shapes », des structures avec un typage statique :
type Voiture = shape { 'modele' => string, 'couleur' => string, 'decapotable' => bool };
Voiture $v;
$v['modele'] = 'Ferrari';
$v['couleur'] = 'rouge';
$v['decapotable'] = true;

Références[modifier | modifier le code]