m2ym https://blog.hatena.ne.jp/m2ym/ Functional Emacser https://m2ym.hatenadiary.org/ もはや型推論と呼べないことは承知ですが、あえてメモしておきます。主に補完目的の話です。Rubyなどの動的言語ではevalやsendを使うことで、簡単に型推論できない状況を作り出すことができます。そのような状況では当然、精度の良い補完を提供できません。そういう場合の解決策として、変数名やメソッド名から適切な型をヒューリスティックに推測してくれると良いかもしれません。例えば、以下のようになります。 fileという名前はStringかFileのオブジェクトだろう gsubというメソッドが呼ばれているオブジェクトはStringだろう mapというメソッドが呼ばれているオブジェクトはEnumerable… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm2ym.hatenadiary.org%2Fentry%2F20090928%2F1254161592" title="ヒューリスティックな型推論 - Functional Emacser" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-09-28 03:13:12 rich https://m2ym.hatenadiary.org/entry/20090928/1254161592 1.0 100%