Is Sound Gradual Typing Dead? https://www2.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf こないだの「機械学習・ディープラーニングでPythonを使う嬉しさとツラミを分かちあう会」で漸進的型付けの話に言及したら教えてもらった論文。
Typed Racket において、一部のモジュールのみ静的型付けした場合の性能のエンピリカルな評価。 全てのモジュールを静的型付けした場合には速くなるが、部分的に静的型付けした場合には、境界での検査やラッピングのために遅くなる。 しかも、ちょっと遅くなるだけではなく場合によっては100倍以上遅くなる上、静的型付けモジュールを少し増やしてもあまり改善しないので、現実的なプロダクト開発で徐々に型付きのモジュールを増やしていくというシナリオは現実的ではない。
“In the context of current implementation technology, sound gradual typing is dead” とのこと。