Generalize Linear Channels by Usage Annotations
ˇČFor every I/O with capability,a corresponding O/I with obligationˇÉ
c:(Oo|Ic.-)t int chan; ?¨§ (spawn(fn()=>send(c, 3)); let v = recv(c) in ?)
c:(Oo|Ic.-)t int chan; ?¨§ let v = recv(c) in ?
Previous slide
Next slide
Back to first slide
View graphic version