TypePHP — компилятор с опережающей компиляцией (AOT), который переводит исходный код PHP сначала в C++, а затем в нативный машинный код. В отличие от байткод-кеша или виртуальной машины, он не интерпретирует опкоды во время выполнения, а создаёт оптимизированные бинарные файлы, работающие напрямую на процессоре.
При этом сохраняется привычный синтаксис PHP, дополненный информацией о типах на этапе компиляции — это позволяет генерировать быстрый статически типизированный C++ код для критичных участков. Динамические значения PHP, встроенные функции, рефлексия и метаданные объектов продолжают взаимодействовать с рантаймом Zend через PHPX.