miura1729 https://blog.hatena.ne.jp/miura1729/ miura1729の日記 https://miura1729.hatenadiary.org/ 今、ytljitでうまく推論出来ないプログラムがあっていろいろ直しています。うまくいかないプログラムはこんな感じのものです。 def f yield end f { 1 + 1} f { "abc"} このバグの話の詳細を書くと訳わからなくなるし、詳細はどんどん変わっいるのでそれは書きません。その代り大元の考え方を書いて考えを整理します。つまり、自分のための日記です。Rubyの型推論ということで余り型を厳しくしてしまうと使いにくくなってしまいます。ytljitのポリシーとして型によるプログラムの検証は一切無視、できるだけオリジナルのRubyのプログラムを受け入れるとします。そうすると例えば、こ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmiura1729.hatenadiary.org%2Fentry%2F20101114%2F1289738684" title=" ytljitの型推論の説明(その1) - miura1729の日記" 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 2010-11-14 21:44:44 rich https://miura1729.hatenadiary.org/entry/20101114/1289738684 1.0 100%