Is there a good guide to getting started with type-checking Python code? Specifically as an aid to porting from Python 2 to 3. There are the PEPs, of course. Anything else? Apart from mypy, what type checkers are available? -- Steve “Cheer up,” they said, “things could be worse.” So I cheered up, and sure enough, things got worse.