Comme tout langage de programmation, PHP a un système de types. Son système de type a évolué au cours des années pour devenir plus complet et robuste. PHP a aussi une notion de sous type suivant le Principe de Substitution de Liskov, plus couramment connue en tant que LSP. Mais qu’est-ce qu’est un système de type et pourquoi utilise-t-on le Principe de Substitution de Liskov comme notion de sous type en PHP ?
Dans cette conférence, nous explorerons ces notions et quel est le futur potentiel du système de type de PHP.
