Strong typing definitely reduces the need for a lot of low-value documentation, especially around APIs, DTOs, and data contracts. However, types explain what the system expects, not always why it was designed that way. Business rules, architectural decisions, operational constraints, and trade-offs are often difficult to infer from types alone. I see strict typing as replacing a large portion of documentation, but not all of it.
