miniblog.

Sometimes a typechecker spots a ton of issues. I find that lists of numbers get very little benefit though. I'm writing some messy logic that groups line numbers, and it's super easy to screw up. Are there other cases? Strings might be another example.

The downsides of writing a large project in Typescript: https://medium.com/javascript-scene/the-typescript-tax-132ff4cb175b I don't share all the author's views, but makes interesting comments on what percentage bugs get caught by the typechecker, and type declaration verbosity/placement challenges.