>> it forces you to reason things through properly
the same could be said for using static types to express the thoughts and formal reasoning rather than english though.
Re:Undervalued Engineering Skills: Writing Well
by munmaek on Monday June 03, 2019 @09:17AM
(#20082767)
Static types are only one part of reasoning through things properly. Rubber ducking or composing that question to a colleague forces you to think of the entire logic and structure around it, etc. Types won't fix that.
It's the same phenomenon of "rubber duck" software engineering, or when you start composing the very rigorous email asking a question of another programmer, then find you've answered your own question before you complete it.
Also, the same general skill for editing text is the same general skill involved in refactoring. You're trying to capture the same semantics, but with a cleaner, more easily digestible structure.