今までの型付け
def fib[n:int,r:?1[int]] =
if (nɚ) then r![1]
else new c:??[int] .
(fib![n-1,c] | fib![n-2,c] |
c?[x].c?[y].r![x+y])
C は二回の送受信に使用されているので「それ以外」のチャネルに分類せざるをえない
?
deadlock-freedom は保証されない
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示