generated at
線形型
部分構造型の1つ
弱化規則と縮約規則を制限することで、変数の使用を1回のみに制限する
1回より多くても少なくてもだめ
部分構造型のページがわかりやすいmrsekut
線型論理に対応する





>#WIP

最適化などに使われたりする



論文
A Brief Introduction to Regions URL
http://elsman.com/mlkit/pdf/toplas98.pdf
リージョン推論のアルゴリズムの紹介
http://elsman.com/mlkit/papers
Retrofitting Linear Types
Haskellの線形型の論文
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf
https://github.com/lotz84/haskell/blob/master/docs/linear-type.md

リージョン メモリ



依存線形型理論
https://ncatlab.org/nlab/show/dependent+linear+type+theory


Linearity polymorphism
https://dev.to/jvanbruegge/what-the-heck-is-polymorphism-nmh?utm_source=pocket_saves#:~:text=in%20the%20compiler.-,Linearity%20polymorphism,-Linearity%20polymorphism%20is

観型

線形型を持つ言語
ATS言語
Cyclone
Veronaは？
Haskell
LinearTypes
Austral
https://borretti.me/article/introducing-austral#linear
https://borretti.me/article/how-australs-linear-type-checker-works



参考
tcfm 16
リージョンについて | κeenのHappy Hacκing Blog
ATTaPL 1章
http://web.yl.is.s.u-tokyo.ac.jp/kobalab/kadai99/kadai4.html#ltype
https://ytakano.hatenablog.com/entry/2020/12/23/204528
https://www.tweag.io/blog/2020-01-16-data-vs-control/
https://www.tweag.io/blog/tags/linear-types/
https://nymphium.github.io/pdf/sorosoro-linear.html
https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types
https://arxiv.org/pdf/1710.09756.pdf
https://github.com/lotz84/haskell/blob/master/docs/linear-type.md#%E7%90%86%E8%AB%96
https://kakkun61.hatenablog.com/entry/2020/12/25/刹那的純粋関数的データ構造と線形型
https://kakkun61.hatenablog.com/entry/2020/12/13/とりとめのない_GHC_線形型メモ
https://www.fos.kuis.kyoto-u.ac.jp/~yfukuda/file/cm_of_mell.pdf
https://www.cs.cmu.edu/~fp/courses/15816-f01/handouts/lintt.pdf
https://kowainik.github.io/posts/arrows-zoo
http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/p3302.html
https://keens.github.io/blog/2019/12/21/riso_suwokanrisurukata/
https://keigoi.hatenadiary.org/entry/20110808/1312803152
https://keigoi.hatenadiary.org/entry/20110806/1312604753
Lively Linear Lisp
https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash-cons-papers/BakerLinearLisp.pdf

>@lotz84_: 線形型をHaskellのEDSLで実装した論文。実装された線形型の圏とホスト言語であるHask圏の間にLift, Lowerという随伴があり、その随伴から導かれるモナドがEDSLになるっぽい／
>The Linearity Monad
>https://t.co/EDjh4s0Ia0



#型システム