juan_gandhi: (VP)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote2015-01-12 07:57 pm
Entry tags:

re: I/O monad

Just agreed with Runar that, well, it's not a monad, because there's no associativity (duh)

Or? (ok, ok, lax weak pseudo promonad...)

[identity profile] nponeccop.livejournal.com 2015-01-13 05:19 am (UTC)(link)
Ну, на языке labelled transitions её нет. См. http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/mark.pdf раздел 3

[identity profile] sassa-nf.livejournal.com 2015-01-13 11:02 am (UTC)(link)
гм, я, может, пропустил, но где там об отсутствии ассоциативности в operational semantics?