Static typing and KPHP type system

Strict typing is the main reason why KPHP is so fast.

If you omit types — KPHP will auto infer them.
If you declare types — KPHP will do all type checks.