
March 8, 2022
5:32 a.m.
Brendan Barnwell writes:
I would be happier if fewer typing-related changes made it in.
I'm curious: do you use type annotations yourself? If yes, do you just prefer minimal hints to a precise typing system, or have there been changes that are actually harmful in your opinion? Examples? If no, are there examples of typing changes that actually cause problems for your code? (My definition of "actual problems" includes problems you know how to work around but are easy to miss until something goes wrong, aka bug magnets.) Typing changes that are annoying because you need to work around them (but you pretty reliably DTRT with them)? Other issues? I have no axe to grind here. I want to be informed about arguments for and against. Steve