> The other thing with a type-inferring compiler is that you don't have to figure out all your types upfront. I've worked a fair bit with OCaml. You still need

> The other thing with a type-inferring compiler is that you don't have to figure out all your types upfront. I've worked a fair bit with OCaml. You still need to define types for ADTs, and those can change early on. I think the bigger benefit to inferred static typing is during maintenance, ensuring that the design is still internally consistent. I mostly agree with you, and have the same experience about TDD vs. type inference. I'm not dogmatic about TDD either, though - I use a REPL and asserts, and sometimes QuickCheck-ish tools for testing during the initial writing.