Compiling Ruby to idiomatic code in static languages

Type Inference