新しい型付け
def fib[n:int,r:[int]/Oo] =
if (nɚ) then r![1]
else new c:[int]/(Oo|Oo|Ic.Ic) .
(fib![n-1,c] | fib![n-2,c] |
c?[x].c?[y].r![x+y])
r は一回の送信に使用 ⇒ Oo
c は二回の送受信に使用 ⇒ Oo|Oo|Ic.Ic
?
deadlock-freedom が保証される
前のスライド
最初のスライドに戻る
グラフィックスの表示