Create a Dreamwidth Account
Site and Account
Reload page in style:
2012-11-05 06:06 pm (UTC)
I suppose it could also be something like 1 -o a -o b; I don't know if those should be equivalent or have different meanings or what, though that's kind of how I've been thinking of the OI comonad. That kind of feels like a weakness of the model, though. In the original presentation, the type OI a meant a computation of type a that depends on state, so you'd use counit to actually force the computation and make all the effects happen. Maybe that's still a valid interpretation here; I'm not sure. I know that if you can get away with just using 1 everywhere, it would feel like a deficiency in the logic.
Thread from start
This account has disabled anonymous posting.
You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address.
Sign in using OpenID
If you don't have an account you can
create one now
HTML doesn't work in the subject.
Check spelling during preview
This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.
Expand Cut Tags
No cut tags
Page generated Jun. 28th, 2017 05:42 pm
Top of page