Système de Types et relation de sous-typage en PHP (🇫🇷)

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.