Static vs Dynamic Typing II

After receiving feedback and reading more about it, I'm coming to the conclusion that static vs dynamic typing has more to do with writing code, lines of code, and the benefits of run time checking vs compile time checking. Static and dynamic typing classify values and expressions into types differently. Java is statically typed and Ruby is dynamically typed. It seems like a program written in Java will contain more lines of code then the exact same program written in Ruby. This is because of the type checking. I'm not familiar with Ruby yet, but, supposedly you have the ability to write less code because all of the code dealing with the types of objects and casting will be removed. The run time check seems to give more flexibility when writing the program and dealing with types. Static typing, with compile time checking, allows program errors to be caught earlier and program execution to be more efficient. Dynamic typing, with run time checking, is more flexible although slower running and more prone to program errors.