Notes on my exploration of type inference in Ruby. These follow my initial exploration during the Google 2006 SoC.
Oh hey, you can also check out my goals to get an idea of what I am going for.
Get in touch with me.