Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Generalize Linear Channels
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 ?