> This was my initial mindset as someone whose background lies in untyped languages Yes, I understand and agree regarding Rust vs dynamic languages, but to be

> This was my initial mindset as someone whose background lies in untyped languages Yes, I understand and agree regarding Rust vs dynamic languages, but to be clear my remark was already assuming type checking. I still think you need a full iteration loop even if a type checker gets you a long ways relative to a dynamic language.