2026-05-11 13:24 UTC
@maxsnew@types.pl when Gordon presents it, he says it's a refinement of Moggi's theory of monads for computation effects.
Replies (1)
-
@ohad@mathstodon.xyz 2026-05-11 13:26
@maxsnew@types.pl I think the false dichotomy come from our tendency to only pay attention to extremes, executive summaries and elevator pitches rather than nuance and detail. I'm going over a collaborators slide deck for my own talk replacing 'the best way to do X' with 'doing X: aspect Y'.