TypeProf is a type analysis tool for Ruby code that performs abstract interpretation to infer types...