Follow

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 : nguyentito.eu/2023-01-ensl3.pd (ça parle de JavaScript au début, à la fin les mots « logique linéaire » sont balancé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?

@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)

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.