連鎖性言語の型システム

スタック型言語(厳密には同じではない)とも呼ばれる連鎖性言語の静的型システムについてメモ。

今のところ把握してる静的型付けの連鎖性言語

猫(Cat)から子猫(Kitten)

プリミティブなコンビネータが存在

その他のコンビネータはプリミティブなものから構築可能

基本的な考え方は

スタックからスタックへの写像

スタックの"残り"(rest)を表す記号の存在

加算の場合

∀A. (A, int, int) -> (A, int)

また、連鎖性言語のコンビネータは線形論理を満たすという論文もある