PHP's type system dissected

George Peter Banyard

Friday 19 May 2023 from 15:20 to 16:10

Talk in English - US at phpday 2023
Short URL: https://joind.in/talk/6f509 (QR-Code (opens in new window))

Avg. Rating

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

Comments are closed.

Massimiliano Arione at 16:11 on 19 May 2023

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

Michele Sangalli at 16:13 on 19 May 2023

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

Simone Chiesi at 16:17 on 19 May 2023

Simply fantastic!