Consider use of static typing (mypy and comment-based annotations)

[mulkieran]

No description provided.

[mulkieran]

It's still a bit hard to do. mypy doesn't seem to have a Fedora package, linting requires python3, probably, or to run in a python3 compatible mode, or something.

************* Module justbases._nats
src/justbases/_nats.py:19: [W0611(unused-import), ] Unused List imported from typing
src/justbases/_nats.py:20: [W0611(unused-import), ] Unused Tuple imported from typing

Pylint would consider these things unused, because in a Python2/Python3 compatible implementation they appear in the comments, not the source. Of course, warning is easy to disable.

[mulkieran]

Actually, mypy is being maintained for Fedora 24 and above. So, that's one obstacle removed.

[mulkieran]

Actually, until I can understand what it offers, it is not at all clear that it is useful. It should not be possible to claim that all my methods are int -> int when none of them are and not get an error. Funny.

[mulkieran]

Things are not as bad as all that. There is even a working PR: #23.

[mulkieran]

Working PR requires a rebase, though.