Hybrid Type Checking
http://obfusco.com/tmp/popl06-hybrid.pdf
Dynamic Checking と (Static)Type Checking の中間くらいって最初に図に書いてあるけど、Soft Typing とどう違うんだろう。参考文献に Fagan の論文があるから、たぶん発展系なんだとは思うが……。
http://obfusco.com/tmp/popl06-hybrid.pdf
Dynamic Checking と (Static)Type Checking の中間くらいって最初に図に書いてあるけど、Soft Typing とどう違うんだろう。参考文献に Fagan の論文があるから、たぶん発展系なんだとは思うが……。