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.
miniblog.
Related Posts
I've been impressed with code written by Fable in my testing:
Difftastic: found small optimisations in a hot loop I'd already profiled extensively. Helped me prototype Dijkstra to A* too (hard to find a good heuristic).
Garden: Found some real bugs in my simplistic typechecker.
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.
Fascinating discussion of how Hack's typechecker is fast and highly parallelised, and applying it to Scala: