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!

Recorded video

Presentation Material


Yutaka HARA
Yutaka HARA
Yutaka Hara is a programmer works for NaCl (ネットワーク応用通信研究所), same as Matz. He proposed Enumerable#lazy. He is interested in designing/implementing programming languages. He authored the book 『Rubyでつくる奇妙なプログラミング言語』, a book about esoteric programming languages, such as Brainf*ck, Whitespace, etc.