Speaker: Yutaka HARA / @yhara http://rubykaigi.org/2015/presentatio... Recently, functional programming with type inference has become popular, let's try to make it! But what if you don't know where to start...? For such a Rubyist, this talk will explain from basics of language implementation to the Hindley-Milner type inference. We can make a functional language!