Introduction aux types et aux relations inductives

Cette séance de cours présente l'importance des types dans la programmation, en soulignant leur rôle dans la prévention des erreurs, en assurant la sécurité de la mémoire et en rendant la compilation plus efficace. Il traite des systèmes de type malsain, intentionnel et non intentionnel, et présente des exemples de Java et Scala. La séance de cours couvre également les relations inductivement définies, en utilisant des règles pour définir les relations et en prouvant la justesse des règles.