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.

Reply via email to