Python implementation (done!) #170
Description
- Ruff seems like a no-brainer
- for static typing, seems like MyPy --strict vs pylyzer
- the other static checkers seem to have affordances for transitioning untyped code, but we are greenfield so I don't think they make much sense
- reddit advice is
MyPy --strict, I'll go with that