"Types make for bloated code" - no, poor type inference does.
But developers can grow used to bloated code. Like they can get used to stepping the code with the debugger. I for one prefer to print debug info. On the browser I have custom code that helps with that. But I understand that many developers don't have anything like that and they have to use a standard debugger instead.
I grew used to debugging with print outs on Ruby. Before that I used to use IDEs like Delphi and Eclipse.
I also hear that one of the problems people may have on OCaml is that sometimes when they want to print some data structures they first have to make it printable. I like languages that make the structures printable by default like in Ruby.
Anyways...