User loginNavigation 
Cocontinuations: a dual to shift/reset?Shift/reset allow convenient expression of monadic computations, as a kind of generalized, functional version of donotation. From the beginning of that link:
The obvious question is whether there is an analogous construct for comonads. Given that there is a codonotation I believe there is. In a concatenative language, shift/reset can be written as:
The F block observes the future of the computation (delimited by the nearest reset) and may select a new one. I believe the comonadic dual is:
The F block observes the past of the computation (delimited by the nearest coreset) and may select a new one. This leads to a combined operator:
The F block observes the future and past of the computation (delimited by the nearest braces) and may select new ones. This is first class (co)control flow. I want to say something like "the dual of continuations is environments", as "environment" is an existing concept that seems conceptually close to "store". Note that on this page, someone posts functions analogous to shift/reset for "codensity" or "store".
I believe this notation allows the convenient expression of arrows (and monads and comonads) in the same way shift/reset allows expression of monads. Arrows allow decoration of both inputs and outputs, as opposed to only inputs for comonads and only outputs for monads. This makes sense to me but I'm not totally sure since there's not much information on comonads/codo notation and such. I'd appreciate any comments. EDIT: I think the correct format is actually
By xkapastel at 20181007 15:05  LtU Forum  previous forum topic  next forum topic  other blogs  1641 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 2 days ago
1 week 5 days ago
2 weeks 5 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
4 weeks 6 days ago
4 weeks 6 days ago
6 weeks 5 days ago
10 weeks 4 hours ago