とりあえず、平行プリミティブとしてportを使うことにする。 これはpi計算や他のプロセス代数によく似ている。 一般化port いわゆるR6RSのportはbinaryかtextしか扱えないため、一般化したportを考える。 これは要するに遅延評価されるclosureで、原理的には…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。