add static typecheck system to poetry

[andrewj-brown]

From one wide-ranging-dev-changes pull request to the next - now we have code style, I'm starting work on issue #56.

First step: get mypy to not throw errors on the current code, then I'll add a GH workflow for it for future branches. I've based this off the #111 PR branch, because I don't want to bother typing the entire channels cog when it's about to be removed.

[andrewj-brown]

once more, this time with feeling...

[49Indium]

Do we want to use list, tuple, etc instead of List, Tuple, etc. I only learnt recently that are already included (no need for Typing) from Python 3.9 onwards,

[andrewj-brown]

I'm in favour of standardising and using the typing types for everything, rather than mixing and using some inbuilt types and some typing types. If every type that typing includes is now inbuilt then I'm happy to do that, but I suspect there's some missing ones that we'll need.

[andrewj-brown]

I intend to get this PR merged as-is. The changes so far allow use of poetry run pyright uqcsbot to statically typecheck commands, or ... pyright uqcsbot/file.py for specific files.

My intention is to require that pyright types all new modules from here on out, including the proposed pastexams, dominos, morse, etc. rather than merge them now and just leave the typing until later.

[49Indium]

Take everything I say with a pinch of salt, as I'm still learning good coding practices. Here are my 2 cents.

Overall, very happy to see some typechecks.

[JamesDearlove]

Seems mostly fine, it appears that your poetry.lock needs to be updated though

[andrewj-brown]

Seems mostly fine, it appears that your poetry.lock needs to be updated though

This PR intentionally updates poetry.lock - we've got 5 new modules for typing and stubs, so I took the opportunity to bump versions on a bunch of other libraries so dependabot stops whinging.

[JamesDearlove]

Code looks good to me. Still have a lock file warning in the checks though. Action log link