Route 477

■ [ruby][event] RubyKaigiで型推論の話をしました

RubyKaigi2015でスピーカーとして登壇しました。

内容は「型推論入門」です。

• https://speakerdeck.com/yhara/lets-make-a-functional-language
• https://github.com/yhara/rk2015orescript

「これってRubyに適用できないの」という質問をいただきましたが、RubyはHMとだいぶいろいろ違うので(オブジェクト・代入等)、難しいんじゃないかなという気がします。 いっぽうCrystalは型推論ができてるっぽいので、そっちのほうがRubyの参考にはなるかも？