The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...

When I watch our trade start handing its tests to language models, I don't feel relief. I feel the same itch I get when a release goes too quiet.