SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Milod Kazerounian
,
Jeffrey S. Foster
, and
Bonan Min
OOPSLA
2021
http://dx.doi.org/10.1145/3485483
https://talks.cs.umd.edu:3000/display/publications
"
Dynamic Inference of Static Types for Ruby
"や"
Sound, Heuristic Type Annotation Inference for Ruby
"の続き。
Ruby
の
型推論
をするにあたってstructural typesアリでmost general typesを求めるだけだと読みづらい型が生まれてしまう。"
Sound, Heuristic Type Annotation Inference for Ruby
"と同様にnominalな型で置き換えたいので、その提案をナイーブに
深層学習
でやる。
#論文