[grandalf]

Looks very interesting. I am intrigued by the idea of Ruby having type hinting and optimizations based on hints.