RubyKaigi 2015, 11-13 Dec. #rubykaigiRecently, 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!
パターンマッチいろいろ (函数型なんたらの集い 2014 in Tokyo)
函数型なんたらという勉強会でshapelessの発表してきた - xuwei-k's blog
