4,596 followers
@keigoi これはcall-by-needじゃないですが https://t.co/I0BQXBtYXj とか。変換元のλ計算が型付きかどうかもまた別問題で、変換先のπ計算の能力(並列性とか)を制限するのに、λ計算と同じ動作を強制する型が。
@keigoi これはcall-by-needじゃないですが https://t.co/I0BQXBtYXj とか。変換元のλ計算が型付きかどうかもまた別問題で、変換先のπ計算の能力(並列性とか)を制限するのに、λ計算と同じ動作を強制する型が。