php 7 строгая типизация

Наконец появилась в php 7 строгая типизация. Проведём тесты производительности и узнаем какой прирост можно получить если заставить компилятор меньше думать о типах.

function test1($x,$y){
  return $x+=$y;
}
function test2(int $x,int $y): int{
  return $x+=$y;
}
function f1(){
  $i=0;$x=0;while(++$i<LOOP)$x=test1($x,$i);
}
function f2(){
  $i=0;$x=0;while(++$i<LOOP)$x=test2($x,$i);
}

Результаты тестирования php7 строгая типизация и без

Тест со строками

Сделал несколько разных тестов со строками и указания типов переменных (php будет подгонять под тип выходящие/выходящие переменные функции), во всех примерно одинаковые результаты с перевесом 1 функции.. Приведу последний, специально поданы перевёрнутые типы..

function test1($x,$y){
  return $x.=$y;
}
function test2(string $x, string $y): string{
  return $x.=$y;
}
function f1(){
  $i=0;$x='';while(++$i<LOOP)$x=test1((int)$x,$i);
}
function f2(){
  $i=0;$x='';while(++$i<LOOP)$x=test2((int)$x,$i);
}

Заключение

Опечален, ожидал большего. С точки зрения контроля типов данных - имеет смысл использовать, с точки зрения производительности - нет. Причём ввод скрипта в режим строгой проверки типизации declare(strict_types=1); не меняет картину. Можно и ранее было привести к типу, например необходима строка - return (string)$y;

Всё по тем же рельсам идёт: любая упаковка в классы структуры итп. тормозит скрипт; лишний код, длинные переменные и всё что заставляет компилятор удлинять сценарий чтения или выполнения - опять имеем снижение производительности..

Плюсом является то, что нет необходимости начинать программировать по новому, строгая типизация не только не даёт преимущества, но и наоборот ухудшает результат..