漸進的型付け - mrsekut-p

漸進的型付け

Gradual typing

論文

Safe & Efficient Gradual Typing for TypeScript

https://www.microsoft.com/en-us/research/wp-content/uploads/2014/07/safets.pdf

Gradual Typing for Functional Languages

http://scheme2006.cs.uchicago.edu/13-siek.pdf

Gradual Typing for Objects

https://link.springer.com/chapter/10.1007/978-3-540-73589-2_2

https://blog.sigplan.org/2019/07/12/gradual-typing-theory-practice/

https://golem.ph.utexas.edu/category/2018/02/gradual_typing.html

https://yigarashi.hatenablog.com/entry/future-of-gradual-typing

https://qiita.com/t2y/items/0a604384e18db0944398

http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/ggen-oopsla11.pdf#targetText=A%20typical%20gradual%20type%20system,or%20even%20fully%20dynamically%20typed.

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.650.1531&rep=rep1&type=pdf

https://behindthetech.libsynpro.com/

https://mizchi.hatenablog.com/entry/2018/07/05/180219

http://yu-i9.hatenablog.com/entry/future-of-gradual-typing

https://qiita.com/uhyo/items/df276348b966f0e9fe1c

tsでの検証

https://www.jstage.jst.go.jp/article/jssst/26/2/26_2_2_18/_pdf/-char/ja

https://en.wikipedia.org/wiki/Gradual_typing

Misreading Chat 26

https://github.com/jsiek/gradual-typing-in-agda