Fonctions et état

Cette séance de cours introduit le concept de fonctions et d'état dans la programmation. Il commence par discuter du modèle de substitution et de la façon dont les programmes peuvent être évalués par la réécriture. L'importance de la réécriture dans la programmation fonctionnelle est mise en évidence, montrant comment différentes réécritures peuvent conduire à la même solution. La séance de cours explore ensuite les objets stateful, expliquant comment les objets avec un état changent au fil du temps et comment l'état mutable est implémenté à l'aide de variables. Des exemples d'état dans des objets, tels qu'un compte bancaire, sont fournis avec leurs implémentations correspondantes. La séance de cours se termine par l'exploration de la relation entre l'étativité, les variables et la programmation orientée objet.