Claudiu Persoiu

Blog-ul lui Claudiu Persoiu


Limbajul de programare Hack, apocalipsa PHP?

without comments

you-have-been-hacked

Introducere

Facebook a lansat acum aproape o luna limbajul de programare Hack.

De atunci, peste tot au inceput sa apara articole apocaliptice legate de acest limbaj si cum acesta va inlocui PHP. Titlul acestui articol a fost inspirat din “Will Hack Kill PHP?“.

Ce mi se pare si mai ciudat este ca a urmat un val de aprecieri negative legate de PHP, aparent Hack “repara” limbajul mai sus mentionat. Parerea mea este ca, in primul rand, limbajul ar fi trebuit sa fie “stricat” ca sa poata fi “reparat”.

Evident ca si PHP are multe lipsuri, la fel ca orice alt limbaj de programare, dar trebuie sa fie si un motiv pentru care este cel mai popular limbaj pentru Web. Pana la urma, Facebook l-a folosit atata timp, iar acum nu il schimba, incearca sa-l imbunatateasca… nu?

Un lucru este sigur, este probabil cel mai neinspirat nume. Atunci cand cauti “Facebook hack” gasesti orice altceva decat acest limbaj de programare…

Despre Hack

Hack ruleaza pe HHVM. HHVM este incercarea Facebook de optimizare a limbajului PHP prin Just In Time complication, ultima abordare de optimizare a limbajului. Practic, Facebook incearca sa-si reduca din costuri, optimizand interpretatorul de limbaj, iar acum un alt limbaj cu totul. Pana la urma, daca ne gandim la infrastructura Facebook, este normal sa faca asta. Chiar si o optimizare relativ minora duce la o reducere consistenta a costurilor.

Initial am crezut ca este o versiune “imbunatatita”, dar se pare ca este alt limbaj de programare, practic este un PHP cu ceva in plus!

Un mic tutorial al limbajului este la: http://hacklang.org/tutorial/.

Tutorialul nu prinde chiar toate facilitatile limbajului, mai multe detalii sunt la: http://docs.hhvm.com/manual/en/hacklangref.php.

Practic cam toate facilitatile care deosebesc Hack de PHP sunt de fapt optionale. Aproape ca poti scrie PHP si va functiona. Contrar asteptarilor, nu este obligatorie nici macar specificarea tipului de input/output pentru variabile.

Pentru ca pana la urma este un limbaj de programare, nu voi intra in detaliu legat de tot ce aduce nou. Acesta este mai degraba rolul unui carti, nu al unui articol.

Doresc sa subiliniez cateva lucruri care mi se par interesante.

Typechecker

In mod bizar, cel putin pentru inceput, la runtime tipul rezultatului chiar daca este trimis, nu este neaparat interpretat.

Sa luam un exemplu:

<?hh 

function a($a): void {
     return true;
}

echo a('a');

Acest exemplu va avea output… 1.

Practic, la runtime nu se verifica decat tipul de input, nu si cel de output.

Pentru a rula Typechecker-ul se adauga in directorul curent un fisier gol:

$ touch .hhconfig

Apoi se ruleaza:

$ hh_client

Dupa cum se poate vedea, tipurile de date se testeaza intr-un pas separat fata de runtime.

La rularea manuala de Typechecker, acesta va identifica toate inconsistentele. Scopul este ca acesta sa identifice problemele inainte de runtime, de exemplu cand se editeaza un fisier, nu cand ruleaza efectiv aplicatia.

Output-ul de la Typechecker este:

../test.php:4:9,12: Invalid return type
../test.php:3:17,20: This is void
../test.php:4:9,12: It is incompatible with a bool

Din pacate mai este de lucru la aceste feature. Daca incercam sa validam doar la runtime, folosind “type hinting” la fel ca in PHP, functia devine:

function a(int $a): void {
     return true;
}

echo a('a');

Output-ul de la Typechecker nu se schimba, dar la rulare vom obtine:

Fatal error: Argument 1 passed to a() must be an instance of int, string given in ../test2.php on line 5

Practic, Typecheckerul face ce nu face type hinting, iar cel din urma poate sa primeasca acum si argumente de tip scalar.

Chiar daca ar fi fost vorba doar de adaugarea de  argumente scalare, tot mi se pare o inbunatatire importanta.

Lambda operator

Este o formula mai degraba cunoscuta in limbajele functionale.

Un exemplu:

<?hh 

$sqr = $x ==> $x * $x;

echo $sqr(5) . PHP_EOL;

Rezultatul o sa fie, evident, 25.

Mi se pare un mod foarte interesant si lizibil de a ingloba logica de mici dimensiuni.

Folosind noua sintaxa, o functie poate intoarce si alta functie:

$add = $x ==> $y ==> $x + $y;

$result = $add(1);

echo $result(2) . PHP_EOL;

Rezultatul o sa fie 3.

Daca o variabila din interiorul unei expresii lambda nu se intalneste in interiorul functiei care o defineste, atunci acesta va prelua variabila din mediul in care expresia este declarata:

// variabila in scope-ul curent
$z = 5;

$addZ = $x ==> $x + $z;
// schimbat variabila in scope-ul curent
$z = 6;

// efectuat adunare
echo $addZ(1) . PHP_EOL;

Rezultatul o sa fie… 6!

Echivalentul in PHP ar fi:

$addZ = function ($x) use ($z) {
     return $x + $z;
}

Valoarea lui $z se ia din mediul in care functia este definita, nu este o referinta la variabila.

Evident ca, in cazul in care variabila care este preluata din scope este un obiect, ea va fi preluata prin referinta:

<?hh 

class a {         
     public function __construct(public string $x) {}         
     public function __toString() { 
          return $this->x; 
     }
}

// variabila in scope-ul curent
$z = new a('Claudiu');

$addZ = $x ==> $x . ' ' . $z . '!';

// schimbat variabila care se va folosi la concatenare
$z->x = 'World';

// rulat concatenare
echo $addZ('Hello') . PHP_EOL;

Rezultatul va fi:

Hello World!

Shapes

Din nou o sintaxa mai des intalnita in limbaje functionale. Scopul este de a valida un tip de structura mai specific decat un array.

Motivul este foarte bun, valiadarea de structuri de date simple. Structurile care se verifica ar trebui sa contina elementele care au fost definite in shape.

<?hh 

// definirea unei structuri 
newtype Circle = shape('radius' => int, 'b' => int);

// functie care foloseste tipul structurii de mai sus
function areaCircle(Circle $param) {
     return M_PI * $param['radius'] * $param['radius'];
}

// o serie de shape-uri care folosesc structura
$circle = shape('radius' => 10);
$cilinder = shape('radius' => 10, 'height' => 15);

// o structura care nu ar trebui sa functioneze cu Circle
$sqr = shape('side' => 10);

echo areaCircle($circle) . PHP_EOL;
echo areaCircle($cilinder) . PHP_EOL;
echo areaCircle($sqr) . PHP_EOL;

Outputul este:

314.15926535898
314.15926535898

Notice: Undefined index: radius in /home/brand/test.hh on line 6

Notice: Undefined index: radius in /home/brand/test.hh on line 6
0

Un pic dezamagitor, speram ca parametrul care nu se potriveste cu structura sa genereze o eroare, dar se pare ca va trece mai departe.

Nici Typechecker-ul nu gaseste nimic in neregula.

Initiativa este foarte buna, acum trebuie doar sa asteptam varianta functionala.

Concluzie

Probabil Hack va influenta PHP, lucru normal pana la urma, se intampla asta tot timpul cu limbajele de programare.

Va inlocui PHP? Nu cred, probabil vor fi multi care il vor adopta pentru a reduce costurile si pentru o mai buna structura a codului.

Este foarte putin probabil ca acest limbaj sa aiba succes in urmatorii ani, in afara de proiecte de dimensiuni medii si mari. Pentru proiecte mici, in general se foloeste shared hosting, iar acesta de obicei nu are ultima versiune de PHP, putin probabil sa foloseasca ultima versiune de HHVM. Acesta poate nu este cel mai interesant argument, dar pana la urma cele mai multe site-uri de pe web sunt mici si foarte mici.

Un mod multi mai simplu de optimizare este sa folosesti HHVM si atat. Teoretic nu trebuie sa schimbi nimic si rezultatele se vor vedea imediat! Practic HHVM nu este 100% compatibil cu Zend Engine, dar probleme de compatiblitate se rezolva progresiv cu fiecare versiune. Una din prioritatile HHVM este sa intepreteze codul la fel ca Zend Engine, dar sa fie mult mai eficient!

Written by Claudiu Persoiu

29 April 2014 at 10:15 PM

Posted in PHP

Tagged with , ,

Leave a Reply