PHP has added more and more types in the last couple of versions. But what is the meaning of a type, a type system, and a subtyping relation? In this talk, we will explain those words, and see what comprises the PHP type system, how it checks for types, how it uses and implements Liskov's Subtitution Principle (LSP) for it's subtyping relation, and how the strict_type declare affects PHP's type system.


Comments are closed.

I gave a 5.1 rating, but it was converted to 5

Loved the math, loved the technicalities and great presence on stage

Simone Chiesi at 16:17 on 19 May 2023

Simply fantastic!