Séance de cours
Cette séance de cours couvre l'importance des types dans la prévention des erreurs, la sécurité de la mémoire et la documentation des programmes. Il traite également des systèmes de type malsain, des défaillances intentionnelles et involontaires, et des exemples de Java et de Scala. L'instructeur explique le but de la séance de cours, qui est de définir une relation inductive définie pour le système de type d'une petite langue.