About this talk
This talk explores the evolution of types in PHP and their significance in the programming language. The speaker explains key concepts such as type, type system, and subtyping relation, while delving into the PHP type system itself and the mechanisms it employs for type checking. The session also examines how PHP implements Liskov's Substitution Principle (LSP) within its subtyping relation and discusses the impact of the strict_types declaration on PHP's type system.
