copromise. it's like a compromise but also the dual of a promise. is this anything
3
1
13
Conversation
if a promise assigns responsibilities to people then a copromise assigns copeople to coresponsibilities
1
4
I was thinking javascript promises but this is good too
1
3
El,,,,
1
1
promises are close to a monad so... what's a comonad
2
2
a thing you can extract and duplicate, they're useful in modelling e.g. cellular automata
1
2
extract :: w a -> a
is the dual of
pure :: a -> m a
(w is the dual of m, ofc)
and
duplicate :: w a -> w (w a)
is the dual of
join :: m a -> m (m a)
the dual of (>>=) is called extend
1
4
ohh, so:
extend :: (w a -> b) -> w a -> w b
is the dual of
bind :: m a -> (a -> m b) -> m b
now wondering what programming with codo would look like… is that a thing?
bummer. anyway, wondering if I can use this 'extend' thing to finally get my head around what coeffects are? I dunno - perhaps wishful thinking 😅
1
Show replies
Yep, programming with codo-notation is a possibility, see "A Notation for Comonads" (linked below) for examples.
cs.kent.ac.uk/people/staff/d
2
1