[simonask]

I think it’s because you misread my comment by skimming over the important parts.

This isn’t about tooling, it’s about language features and type systems.