Sound Mode: Can TypeScript Type Checking Be Stricter? (tsz.dev)

[dead]

The point about stricter type systems becoming more practical because AI can iterate against compiler feedback loops is really interesting.

[flagged]

I love this, I wish this was in TypeScript out of the box