Вот смотри. Я пишу код:
var x = 4 × "хуй";
echo x;
Можно сразу сделать дерево операций и идти по нему: взять 4, взять "хуй", применить к ним операцию умножение. А уже умножение пускай разбирается, что ему с такими аргументами делать.
А можно сперва понять, что 4 это число, "хуй" это строка и дальше идет умножение, которое скорее всего не определено для строк. Но это отдельный код проверки, сверки допустимости типов аргументов и операции. А нет типов - и код этот не нужен.
Пока не понимаю, где ощутимый профит для скорости разработки