Static typing and KPHP type system

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

• Type inferring
• PHPDoc to declare types
• KPHP type system
• Instances (objects)
• Typed arrays
• Casting types
• Generic functions f<T>()
• Generic classes C<T>