Date: 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.
From:
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID 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.
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

chooseyourownlogic

April 2013

S M T W T F S
 123456
78910111213
14151617 181920
21222324252627
282930    

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 21st, 2017 03:13 am
Powered by Dreamwidth Studios