Ну то что из него выходит более оптимизированный код - це факт (судя по статьям на хабре)
Статическая типизация не может быть быстрей если она транпилируется в динамическую, она быстра потому что компьютер уже знает в какой блок надо отправлять данные, нпрмр если это 1+1 то он сразу бежит к логическому блоку в процессоре, а в динамической типизации это определяется уже при конвертировании языка в машинный код (возможно я перепутал какие-то термины)