Combining Static and Dynamic Typing in Ruby