Discussion :

[Stéphane le calme]

Facebook présente Hack, son langage de programmation dérivé de PHP
qui apporte plusieurs nouveautés

Les ingénieurs Facebook présentent Hack, un nouveau langage de programmation pour HHVM, sa machine virtuelle de seconde génération open source conçue pour exécuter des projets écrits en PHP et en Hack. A titre de rappel, HHVM est le successeur du projet HipHop, une technologie devant convertir du code PHP en code C++.

Facebook indique avoir basculé quasiment l’ensemble de son code PHP sous Hack, l’une des raisons étant qu’il réduit la probabilité de commettre des erreurs simples qui sont un frein au processus de développement. Ci-dessous un exemple d’une erreur courante où une méthode pourrait être appelée de façon inattendue sur un objet nul, ce qui provoquerait une erreur qui ne serait pas prise en compte avant l’exécution.

« Traditionnellement, les langages typés dynamiques permettent un développement rapide mais sacrifient la capacité à chercher des erreurs tôt et à inspecter son code rapidement, en particulier sur de nombreuses lignes de code. Cependant, le typage statique fournit une plus grande sécurité mais parfois au prix de rapides itérations. Nous pensions qu’il devait y avoir un juste milieu. » C’est alors que Hack est né, et Facebook pense que son langage offre à la fois le meilleur des deux types quelle que soit la taille du projet.

Hack a été pensé comme un néo-PHP ; Facebook précise qu’il s’inspire fortement de ce langage. La transition d’un langage vers l’autre est donc censée être simple. D’ailleurs, « la plupart des fichiers valides en PHP le sont aussi en Hack ». « Notre principal ajout est le typage statique. Nous avons développé un système pour annoter les signatures de fonction et les membres de la classe en fonction des informations de type ; notre algorithme de vérification de type (le ‘type checker’) déduit le reste. La vérification de type est incrémentale, de telle sorte que dans le même fichier, une partie du code peut être convertie en Hack tandis que le reste demeure en PHP.». Cependant, Hack ajoute des fonctionnalités supplémentaires au-delà de la vérification du type statique parmi lesquelles Collections ou les expressions lambda.

L’objectif de ce projet est de diminuer la charge imposée aux serveurs en optimisant le code. Les développeurs intéressés sont d'ores et déjà invités à se saisir de ses outils de conversion, voire participer à l'amélioration du langage lui-même.

Installer Hack

Installer Hack Conversion

Source : Facebook

Et vous ?

Que pensez-vous de Hack ? Allez-vous l'essayer ?

[rawsrc]

Je suis assez dubitatif, mais bon pourquoi pas. Cela reste pour l'instant assez focalisé sur leur infra...

Si vous voulez du code typé en PHP, c'est tout à fait possible : il suffit pour cela de coder massivement en POO (pour les primitifs une petite couche d'auto-boxing) et le tour est joué.

Faites quand même attention à tout ce qui n'est pas supporté par Hack (et donc omis à la vérification) : ici

[MagnusMoi]

Que pensez-vous de Hack ? Allez-vous l'essayer ?

C'est vendredi jour de troll

Plus sérieusement : au vu de la taille de la communauté PHP, de la grande fiabilité de ce langage et du fait qu'il ne soit pas sponsorisé par un sous traitant de la NSA : POURQUOI LE TESTERAI-JE ?

Donc je n'en pense pas grand chose, et ne l'essayerai pas.
Quelque part, c'est un peu comme dart : je ne nie pas le travail effectué ... mais pourquoi passer par des solutions dérivées, quand l'original est un "Standard" ?

Bonne vendredi et relâchez vous les yeux

[imikado]

Si vous voulez du code typé en PHP, c'est tout à fait possible : il suffit pour cela de coder massivement en POO (pour les primitifs une petite couche d'auto-boxing) et le tour est joué.

Pas bien compris..
COmment eviter l'erreur cité au dessus par exemple où on utilise une méthode d'un objet qui peut potentiellement être null ?

Votre idée de faire du massivement Poo reviendrait à ceci ?

Code php :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
$i= new Int(1);
$chaine= new String('totto');
 
print $i->toString().$chaine ;

[Vlozer]

Je trouve ça plutot cool que Facebook essaye de soigner son image en s'impliquant dans l'évolution de l'IT (en faisant autre chose qu'internet.org)... toutefois on peut pas dire que l'annonce de ce nouveau langage ait fait mouche pour l'instant...

Perso en tout cas, ca me donne pas envie... Deja parce que j'aime pas le PHP de base, mais surtout parce que ça fait quand meme gros rafistolage...
Autant je peux comprendre que ça puisse etre utile pour la reprise de quelques gros projets vieillissants à fort trafic... autant ça me générai de construire quelque chose de nouveau avec ça (je préfère alors directement passer par un langage que j'aime et qui a été pensé pour être performant dès le début).

[black_soul]

Au delà du fait que je pense que proposer une copie conforme d'un langage bien installé avec quelques fonctionnalités en plus plutôt que de chercher à contribuer à son développement, Facebook est une bien mauvaise vitrine pour celle-ci, tant d'un point de vue performances qu'ergonomie.

[Zefling]

Que pensez-vous de Hack ? Allez-vous l'essayer ?

En l'état, j'en pense pas grand-chose. Pour quelque amélioration dans la compatibilité ne va que dans un sens, ça ne m'intéresse pas pas trop. Passer à Hack veut dire qu'un retour à PHP sera compliqué, et rien ne dit que Hack va fonctionner au delà de Facebook.

Pour l'instant, j'attends plus les évolutions prévu dans PHP 5.6 que Hack.

[rawsrc]

Pas bien compris..
COmment eviter l'erreur cité au dessus par exemple où on utilise une méthode d'un objet qui peut potentiellement être null ?

Ben l'erreur tu peux difficilement l'éviter à moins de s'assurer explicitement que ce qui tu manipules est du type attendu.
D'ailleurs leur algo, ne t'évite pas l'erreur, il te signale un problème potentiel (si tu codes à la va vite sans filet de sécurité). C'est de l'analyse statique de code comme il est fait en Java, C#...

Pour le reste c'est proche oui.
En utilisant la méthode magique __toString(), il est même possible de s'affranchir du ->toString().
Quelque chose comme ça :

Code php :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
class Int
{
    protected $v;
 
    public function __construct($p)
    {
        if (is_int($v))
        {
            $this->v = (int)$v;
        }
        else
        {
            throw new InvalidArgumentException('Integer expected');
        }
    }
 
    public function __toString()
    {
        return $this->v;
    }
}
 
// dans le même genre pour les autres types primitifs : 
$i = new Int(1);
$chaine = new String('totto');
 
echo $i, $chaine;

[herve4]

non mais sérieusement, c'est le 1er avril avant l'heure ou quoi ?

Appeler un nouveau langage de programmation web "hack", ça veut dire quoi ? qu'il est sponsorisé par la NSA ?

[imikado]

Ben l'erreur tu peux difficilement l'éviter à moins de s'assurer explicitement que ce qui tu manipules est du type attendu.
D'ailleurs leur algo, ne t'évite pas l'erreur, il te signale un problème potentiel (si tu codes à la va vite sans filet de sécurité). C'est de l'analyse statique de code comme il est fait en Java, C#...

Pour le reste c'est proche oui.
En utilisant la méthode magique __toString(), il est même possible de s'affranchir du ->toString().
Quelque chose comme ça :

Code php :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
class Int
{
    protected $v;
 
    public function __construct($p)
    {
        if (is_int($v))
        {
            $this->v = (int)$v;
        }
        else
        {
            throw new InvalidArgumentException('Integer expected');
        }
    }
 
    public function __toString()
    {
        return $this->v;
    }
}
 
// dans le même genre pour les autres types primitifs : 
$i = new Int(1);
$chaine = new String('totto');
 
echo $i, $chaine;

J'ai bien compris pour les types mais pour l'histoire de la methode qui alerte parce que l'objet est potentiellement vide donc on pourrait avoir "erreur : call to method of undefinied object"

[miky55]

sponsorisé par un sous traitant de la NSA

Appeler un nouveau langage de programmation web "hack", ça veut dire quoi ? qu'il est sponsorisé par la NSA ?

C'est vrai que le non est un peu tout pourri... Mais faut arrêter la parano une minute, ils l'ont nommé hack parce-que c'est un hack de php et pas un framework au dessus de php. Ça reste open source à 100% et dirigé par la communauté... donc la NSA, la NSA, elle a bon dos!

[rawsrc]

pour l'histoire de la methode qui alerte parce que l'objet est potentiellement vide donc on pourrait avoir "erreur : call to method of undefinied object"

Pour arriver à ça, il faudrait encapsuler tous les appels dans un genre de sandbox (ingérable à mon avis en php) et encore

[Grimly]

Si on souhaite à avoir du typage fort, on commence par ne pas utiliser PHP.

Pourquoi ne pas utiliser Java ou ASP.NET qui eux appliquent ces règles de typage fort ?
Et s'il s'agit juste d'avoir un moyen d'écrire une page PHP qui permet d'écrire très rapidement du texte brut, il existe les HTTPServlet par exemple en Java.

Bref, c'est du temps de perdu d'avoir écrit un compilateur juste pour vérifier le type de retour de nos fonctions PHP.

[black_soul]

Si on souhaite à avoir du typage fort, on commence par ne pas utiliser PHP.

Pourquoi ne pas utiliser Java ou ASP.NET qui eux appliquent ces règles de typage fort ?

Parce que c'est plus difficile à apprendre et plus difficile à déployer sur des serveurs avec un petit budget.

Un site Internet n'a pas forcément besoin d'une syntaxe verbeuse complexifiant le développement et la simplicité de PHP peut dans ce cas être un avantage.

[Zefling]

Je me sers aussi de PHP pour faire des scripts. Je me vois mal faire ça en Java. De plus, PHP reste quand même vachement plus simple à appréhender : la programmation objet n'est pas obligatoire, la gestion des chaîne est ultra simple, la plupart des méthode demande très peu de code. Parmi les points faibles c'est que la persistance mémoire existe pas (pas possible d'en avoir commune sans passer par des fichiers ou une base), on peut faire un peu n'importe quoi sur les retour, les gestions du typage est parfois pas très évident (même si on peut faire ça maintenant : $i = (int) $j ).

[Vlozer]

Parce que c'est plus difficile à apprendre

PHP est pas plus simple à apprendre, ça permet juste de faire de la merde plus rapidement...
Puisqu'au final, si tu fais un travail un minimum serieux, tu vas forcement passer par un framework...
Pourquoi ne pas directement faire du python+django du coup...? Ca marche sur les mutualisés il me semble..?

[black_soul]

Puisqu'au final, si tu fais un travail un minimum serieux, tu vas forcement passer par un framework...

Euh non, je fais travail tout ce qu'il y a de plus sérieux sans passer par un framework, avec une approche une approche objet mais en gardant un maximum de flexibilité.

[atha2]

We believe that it offers the best of both dynamically typed and statically typed languages, and that it will be valuable to projects of all sizes.

Ben voyons, à les entendre, on pourrait jeter tous les autres langage à la poubelle

En étant un peu plus sérieux, ce langage apporte des avantages que le code de l'article ou sur Facebook ne montre pas vraiment (sur ces exemples un "simple" outil d'analyse de code suffirait, pas besoin d'un nouveau langage). Sur http://hacklang.org/, on peut voir que qu'au final on se retrouve avec un langage semblable (au niveau du typage) à du Java/C#/C++ , à ceci près que le typage explicite des variables locales (déclarées dans une fonction) n'est pas nécessaire (je n'ai pas trouvé si le typage de ces variables est statique ou dynamique).
L’approche me semble intéressante

Au niveau des fonctionnalités : Generics, Nullable Type, Collection, Typedef, Lambda, Await/Async (à la C#) => en apparence c'est plutôt un gros plus par rapport à PHP, mais à voir si toutes ces fonctionnalités misent ensembles forment un tout cohérent
Par contre pour la simplicité (que black_soul présentait comme un avantage de PHP) d'apprentissage et d'utilisation, je pense qu'on peut l'oublier : ça reste au même niveau qu'un Java/C# , à comparer au niveau des perfs (à priori rien n'empèche Hack d'avoir des perfs équivalente, seul la jeunesse de la HHVM est un frein).

Sinon, je pense que la question que cette actualité aurait du introduire c'est "qui, à part Facebook, aurait intérêt à utiliser ce nouveau langage ?".

De mon point de vue il peut être intéressant pour une équipe constituée principalement de développeur PHP, sur un projet de taille conséquente ou si les perfs sont critiques. Mais bon je suis sur qu'il existe un bon nombre d'alternatives qui suffisent dans la plupart des cas (cache d'opcode de Symphony...).

[Equilibrius]

Faire un hack de php est visiblement plus simple que de faire un IDE qui détecte ce type de code bancal.. Y a d'autres solutions a mon sens.. comme la POO! au lieu d'un "return null" un "return new nullObj", où nullObj a les méthodes magique pour gérer le type d'erreur "Trying to get property of non-object" ou "Call to a member function ..() on a non-object". Bon après l'exemple pour illustrer l’article est peut être pas représentatif des possibilités de hack lol