[aitchnyu]

Does it (or other lisps) interact with Python static typing?

[Kodiologist]

You can add all the same type annotations as in Python, but from what I've seen, type-checkers expect Python source text and don't just use standard Python introspection, so you'll need to use `hy2py` first to actually check your program's types.