Yes, a type system is very much going to help you, even if you have that skill of &quot;capturing implicit state&quot;. Because then a function you call, written by somebody else without that skill, may rely on global state in unexpected ways and still blow up in production.<p>A good type system <i>doesn&#x27;t allow</i> you to call impure code from a pure function. It just won&#x27;t compile. So your skill becomes useless because it&#x27;s automatically verified by the compiler.