部分構造論理 - .｡oO(さっちゃんですよヾ(〃l

部分構造論理

substructural logic

古典論理 LK の構造規則の一部を落としたもの

線形論理 (linear logic)

affine 論理 (affine logic)

關聯論理 (relevance logic)

非可換論理 (noncommutative logic)

部分構造型 (substructual type system)

線形型 (linear type)

丁度一囘

affine 型 (affine type)

$ 1と$ \topを區別しない

最大一囘

關聯型 (relavance type)

最小一囘

一意型 (uniqueness type)

CleanClean.icon

型の靜的單一代入 (SSA ; static single assignment form) ぢゃん

繼續渡し style (CPS ; continuation-passing style)

monad がこっちか?

HaskellHaskell.icon

正格評價なら newtype IO a = IO (() -> a) でよい

遲延評價するので newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))

RealWorld 型は一意 data ぢゃん