An excellent discussion of Ruby’s dynamic typing, which brings up an interesting point: the influence its metaprogramming facilities have on the possibility of type inference.