Well for Haskell and ocaml, it's more the type inference and functional nature than the static typing that saves code. As for scala, it's not quite as function

Well for Haskell and ocaml, it's more the type inference and functional nature than the static typing that saves code. As for scala, it's not quite as functional or well typed inferred as the others... interested in what the LOC savings would be. Realistically though what's being compared is Ruby/Python vs. Java. It's much more than just the language it's the culture, java is just plain bureaucratic, a lot of routine paperwork for not a lot of functionality.