■ [ruby][event] RubyKaigiで型推論の話をしました RubyKaigi2015でスピーカーとして登壇しました。 内容は「型推論入門」です。 https://speakerdeck.com/yhara/lets-make-a-functional-language https://github.com/yhara/rk2015orescript 「これってRubyに適用できないの」という質問をいただきましたが、RubyはHMとだいぶいろいろ違うので(オブジェクト・代入等)、難しいんじゃないかなという気がします。 いっぽうCrystalは型推論ができてるっぽいので、そっちのほうがRubyの参考にはなるかも?