miniblog.

When writing long-lived programs (daemons etc) in Rust, I find myself asking *where* I should put data. In a GC'd language it's just "I have a string" but Rust forces me to find somewhere to put it. You do get a performance benefit for this work though.

Haskell Wingman is a fun project that provides hole-based refinement to any editor that speaks LSP! It's a great example of how to describe complex features in terms of user benefit too. https://haskellwingman.dev/

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.