>>> It increases the complexity to reason about code. >>> >> >> No, that's wrong. > > Why it is wrong? > Because it is much harder to reason about the same things without type system support.