https://phpc.tv/videos/watch/a9ae747b-dc38-4a61-88ed-ef55e7815bf5 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. Tue, 14 Apr 2026 21:25:48 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://phpc.tv https://phpc.tv/lazy-static/avatars/a00c380b-7291-4db3-b239-61999888fbca.png https://phpc.tv/videos/watch/a9ae747b-dc38-4a61-88ed-ef55e7815bf5 All rights reserved, unless otherwise specified in the terms specified at https://phpc.tv/about and potential licenses granted by each content's rightholder.