部分構造論理
substructural logic
部分構造論理 - Wikipedia
Substructural logic - Wikipedia
Substructural Logics (Stanford Encyclopedia of Philosophy)
古典論理 LK の構造規則の一部を落としたもの
線形論理 (linear logic)
affine 論理 (affine logic)
Gris̆in 論理 (Gris̆in logic)
BCK 論理 (BCK logic)
關聯論理 (relevance logic)
非可換論理 (noncommutative logic)
Noncommutative logic - Wikipedia
bunched logic
Bunched logic - Wikipedia
bunched logic in nLab
部分構造型 (substructual type system)
Substructural type system - Wikipedia
線形型 (linear type)
= 線形論理
丁度一囘
affine 型 (affine type)
Substructural type system - Wikipedia#Affine type systems
= affine 論理
$ 1と$ \topを區別しない
最大一囘
Capture Checking
關聯型 (relavance type)
最小一囘
= 關聯論理
ordered type
Substructural type system - Wikipedia#Ordered_type_system
= 非可換論理
一意型 (uniqueness type)
Uniqueness type - Wikipedia
CleanClean.icon
代數的效果
型の靜的單一代入 (SSA。static single assignment form) ぢゃん
静的単一代入 - Wikipedia
繼續渡し style (CPS。continuation-passing style)
継続渡しスタイル - Wikipedia
monad がこっちか?
HaskellHaskell.icon
IO モナドと副作用 - Haskell-jp
正格評價なら newtype IO a = IO (() -> a) でよい
遲延評價するので newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
RealWorld 型は一意 data ぢゃん
線形型と似る