Not necessarily true, especially if you are using a language with type-inference or you are able to encode your logic in types.
Additionally - what do you think unit tests are? They aren't additional code you have to write?
I'm not someone who thinks types completely reduce the need for testing, but I absolutely do not get why dynamic language fans are like "Uhg, I HATE having to write types", but then end up basically reimplementing a type system in a much more verbose testing framework.
Not necessarily true, especially if you are using a language with type-inference or you are able to encode your logic in types.
Additionally - what do you think unit tests are? They aren't additional code you have to write?
I'm not someone who thinks types completely reduce the need for testing, but I absolutely do not get why dynamic language fans are like "Uhg, I HATE having to write types", but then end up basically reimplementing a type system in a much more verbose testing framework.