Взгляд на Hack, замена PHP в HHVM

 <? hh // strict 

 require   "/vagrant/www/xhp/php-lib/init.php" ; 

 // ... 

 function  add ( int  $a ,   int  $b ):   int   { 
     return  $a +  $b ; 
 } 

 // ERROR(calling "add()" on l.17) : Argument 2 passed to add() must be an 
 // instance of int, string given echo <p> add ( 1 ,   "a" )   =   { add ( 1 ,   "a" )}</ p >; 

 // ERROR(calling "add()" on l.22) : Argument 2 passed to add() must be an 
 // instance of int, string given 
 function  add_array ( array <int>  $a ):   int   { 
     return  array_reduce ( $a ,   "add" ,   0 ); 
 } echo <p> add_array ([ 1 ,   "a" ])   =   { add_array ([ 1 ,   "a" ])}</ p >; 

Пример кода для этого раздела находится по адресу www/type-checker/index.php и вы можете увидеть его вывод, указав в браузере http://localhost:8080/type-checker/ .

Первое сообщение об ошибке неудивительно: вызов add(1, "a") генерирует ошибку, поскольку add() ожидает, что второй аргумент будет целым числом.

Второе сообщение об ошибке является более неожиданным: ошибка не генерируется вызовом add_array([1, "a"]) . На самом деле это вызов add(1, "a") внутри add_array() который генерирует ошибку! Можно было ожидать, что передача [1, "a"] вызовет ошибку, потому что это не array<int> .

Дело в том, что проверка во время выполнения HHVM редка, чтобы не влиять на производительность: она не перебирает объекты. В этот момент вы, вероятно, сомневаетесь в полезности системы типов HACK! Но не волнуйтесь, есть простой ответ, «проверка типов»: он будет отлавливать любые несоответствия типов, в том числе из предыдущего примера. Не ищите его в репозитории HHVM, он еще не был выпущен Facebook.

Проверка типов реализована в виде сервера, который следит за изменениями в ваших файлах. Всякий раз, когда он обнаруживает изменение, он сканирует измененный файл вместе с зависимостями на наличие ошибок. Ошибки сообщаются в режиме реального времени, так что вам даже не нужно запускать код. Он был разработан, чтобы работать очень быстро, даже в масштабе FB.

Теперь вы должны быть уверены, что система типов работает отлично, но каковы преимущества? Это позволяет отлавливать ошибки разработчика в режиме реального времени, создавая более эффективный код: функция PHP add() сначала должна проверить типы $a и $b (т. string , null ,…), возможно, преобразовать их в числа и только потом выполнить сложение. Принимая во внимание, что с HACK функция add() выше, добавляет два ненулевых целых числа, что является очень быстрой операцией на языке ассемблера (как генерируется JH HHVM).

Если в качестве разработчика вы уже используете подсказки типа PHP и аннотации PHPDoc , переключение в строгий режим должно быть простым. Ваш код станет безопаснее и быстрее — обратите внимание, что некоторые существующие инструменты QA, такие как Scrutinizer, уже используют определение типа для проверки вашего кода, хотя они не в реальном времени.

 <? php /** @Entity */ 
 class   Message 
 { 
     /** @Column(type="integer") */ 
     private  $id ; 
     /** @Column(length=140) */ 
     private  $text ; 
     /** @Column(type="datetime", name="posted_at") */ 
     private  $postedAt ; 
 } 

 <? hh require   "/vagrant/www/xhp/php-lib/init.php" ; 

 <<  UA ( 'klass' ,   [ 'type'   =>   'class' ])   >> 
 class  klass { 
     protected  $prop ; 

     <<  UA ([ 'type'   =>   'function' ])   >> 
     public   function  funktion (<<   Argument   >>  $arg )   { 
     } 
 } $rc =   new   ReflectionClass ( klass ); $rm =  $rc -> getMethod ( 'funktion' ); $ra =  $rm -> getParameters ()[ 0 ]; 

 // On class 
 // array ( 'UA' => array ( 0 => 'klass', 1 => array ( 'type' => 'class', ), ), ) 
 // On method 
 // array ( 'UA' => array ( 0 => array ( 'type' => 'function', ), ), ) 
 // On argument 
 // array ( 'Argument' => array ( ), ) echo <div><h1> User  annotations < /h1> <h2>On class</ h2 >< p >{ var_export ( $rc -> getAttributes (),   true )}</ p > 
     <h2> On  method < /h2><p>{var_export($rm->getAttributes(), true)}</ p > 
     <h2> On  argument < /h2><p>{var_export($ra->getAttributes(), true)}</ p ></ div >; 

 <? hh require   "/vagrant/www/xhp/php-lib/init.php" ; $examples =   [ 
     'hello'          =>   'Hello HHVM / HACK' , 
     'promotion'      =>   'Constructor argument promotion' , 
     'collections'    =>   'Collections' , 
     'types'          =>   'Types and Generics' , 
     'type-checker'   =>   'The type checker' , 
 ]; 

 // The XHP validation should be disabled for better performance in production 
 //:x:base::$ENABLE_VALIDATION = false; 

 class   : tuto : examples extends   : x : element { 
     // examples, current are required attributes attribute array examples @required ; attribute string  current @required ; 

     // forbid to explicitly add children children empty ; 

     protected   function  render ()   { $select =   < select  onchange = "window.location.href=window.location.pathname + '?ex=' + this.value" />; 
         foreach   ( $this -> getAttribute ( 'examples' )   as  $name =>  $label )   { $selected =  $name ===  $this -> getAttribute ( 'current' ); $child =   < option selected ={ $selected }  value ={ $name }>{ $label }</ option >; $select -> appendChild ( $child ); 
         } 
         return  $select ; 
     } 
 } $folder =  preg_replace ( '/[^-_a-z0-9]/' ,   '' , isset ( $_GET [ 'ex' ])   ?  $_GET [ 'ex' ]   :   '' ); 

 function  getTheCode ( $folder )   { 
     // ... 
 } echo <html> 
     <head><title>"XHP generated index" < /title></ head > 
     <body> 
         < tuto : examples examples ={ $examples }  current ={ $folder }   /> 
         { getTheCode ( $folder )} 
     < /body></ html >;