Linear Haskell: practical linearity in a higher-order polymorphic language - mrsekut-p

Linear Haskell: practical linearity in a higher-order polymorphic language

LinearTypesの論文

https://arxiv.org/abs/1710.09756

https://yoshitsugu.net/posts/2021-02-13-linear-haskell.html

Arrayのようなmutableなデータ構造の扱いをSTモナドより便利にできる

ほぼ純粋だが、部分的に状態を扱える

STモナドの扱う状態はもっと広範なので、そこまでする必要がない時に使える

どう便利　#??

リソースの管理ができる