Concurrent Clean : 線型論理
Haskellのモナドが圏論のモナドをバックグラウンドに持っているように、Cleanの一意型は線型論理をバックグラウンドに持っている(らしい)。
ちょうどよいところに、id:m-hiyamaさんが線型論理の説明をしているので、メモ。
[id:m-hiyama:20070411:1176255532]
Haskellのモナドが圏論のモナドをバックグラウンドに持っているように、Cleanの一意型は線型論理をバックグラウンドに持っている(らしい)。
ちょうどよいところに、id:m-hiyamaさんが線型論理の説明をしているので、メモ。
[id:m-hiyama:20070411:1176255532]