miura1729 https://blog.hatena.ne.jp/miura1729/ miura1729の日記 https://miura1729.hatenadiary.org/ 関数の呼び出し情報を使って型推論をする機能を入れてみました。あまり、使いどころは無いような気がしますが(必要なら+ 0.0とか入れて型を指定すればいいから)、面白いかなと思います。 def fact(n) n end def llvmfib(n) fact(3.9) if n < 2 then 1 else llvmfib(n - 1) + llvmfib(n - 2) end end 例えば、こんな感じのプログラムでfactは型が不明ですが、llvmfibで3.9を引数で呼び出しているので、factはDouble -> Doubleと型推論できます。 define double @fact(… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmiura1729.hatenadiary.org%2Fentry%2F20081018%2F1224321895" title=" 関数間の型推論を作りました - 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 2008-10-18 18:24:55 rich https://miura1729.hatenadiary.org/entry/20081018/1224321895 1.0 100%