I think types can be both frustrating and life-saving. However, the "danger" for me lies primarily in implicit conversion. That is, Python vs Lua/JS/R. When w

I think types can be both frustrating and life-saving. However, the "danger" for me lies primarily in implicit conversion. That is, Python vs Lua/JS/R. When writing large programs, some things happen implicitly and linting may not catch it. Everything else besides implicit conversion just helps structure the programs in specific ways and helps speed them up.