Interview with core developer of CPython, ruff and typeshed about the future and present of the type system in Python