I did not say type hints damaged productivity. There is no evidence to point either way, actually. Gradual typing is based on effort. Most people won't spend t

I did not say type hints damaged productivity. There is no evidence to point either way, actually. Gradual typing is based on effort. Most people won't spend the effort. And they don't need to, most of the time, either.