Mypy, a code-linting project created to allow static type checking in Python ... parser that uses a modified version of Python’s standard library module ast to perform application parsing.

Yes, but for my students who are used to static, compiled languages, this is a very hard thing to get used to. After all, ... I've grabbed Sequence from the typing module, which includes all three ...

To do this, we need to create a Python module object through PyO3 and expose ... they all have to work as 'static. You also can’t use generic parameters on types being used as Python classes.