線形型 - mrsekut-p

線形型

部分構造型の1つ

弱化規則と縮約規則を制限することで、変数の使用を1回のみに制限する

1回より多くても少なくてもだめ

部分構造型のページがわかりやすいmrsekut.icon

線型論理に対応する

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

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

線形型を持つ言語

Veronaは？

https://borretti.me/article/introducing-austral#linear

https://borretti.me/article/how-australs-linear-type-checker-works

参考

リージョンについて | κeenのHappy Hacκing Blog

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

#型システム