Comment by flats

Yes, typing would obviate the need for the sorts of extensive unit testing I'm talking about here. I feel that. Luckily, the frontier LLMs (especially Claude) have gotten _really_ good at writing Rspec...