miura1729の日記

型変換の仕様をどうしよう

10:32 |

yarv2llvmは現在、fib以外のベンチマークを作るため、Rubyのソースコードにあるbm_so_mandelbrot.rbを動かそうと色々拡張しています。なぜbm_so_mandelbrot.rbかといえば、それ以外はクラスとかつかっていて動きそうに無いからです。

今のところ、動かすとcr = (2.0*x/size)-1.5という式で2.0とsize (Int32Ty型)が矛盾してるよってエラーが出ます。

RubyではFixnum -> Floatの変換は暗黙に行っているものが多いと思いますが、yarv2llvmで暗黙の型変換を実装するか、明示的な型変換メソッドを用意するか迷っています。どっちも可能で、暗黙の型変換のほうがRubyとの互換性が高いのですが、意図しない型変換が発生して速度が低下する可能性があるなって思います。

おまけ

llvmで、「Intrinsic Functions」を使うとまた違う次元の機能(高階関数とか継続とか)ができて面白そうです。llvmrubyでも普通の関数呼び出しと同じ手順で生成できます。

追伸

暗黙の型変換できると思ったのですが、やると型推論が出来なくなりますね。やっぱり、ここは型変換を入れてもらうようにします。