J'ai eu l'occasion hier de faire un peu de publicité sur l'usage des monades en programmation dans la licence informatique de l'ÉNS Lyon : https://nguyentito.eu/2023-01-ensl3.pdf (ça parle de JavaScript au début, à la fin les mots « logique linéaire » sont balancés ^^)
@raito Grande question… je vois le rapport côté maths, mais pour la programmation il faudrait que je me renseigne sur les effets algébriques avant de répondre.
@tito (trucs que j'ai découvert en écoutant les prez du cours de Paul-André Melliès)
@tito trop cool <33333
est ce que tu aurais des insights / des mots sur les théories de Lawvere vs les monades dans un contexte de programmation?