3 ms·
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 int
by Kodiologist 2y ago
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.