Feature/update typing

[gimppa]

Description

Updated type annotations all around. Mostly changed dict and list type annotations to be Dict[something] and List[something].

Related issues

Fixes #789 github workflows

Type of change

• New feature (non-breaking change which adds functionality)

Testing

• Tests do not apply

[csc-felipe]

Why should we use Dict and List instead of dict and list in Python 3.11? We can use dict and list directly since Python 3.9.

Which makes me think that perhaps we should set python_version for mypy.

[gimppa]

There was a mix of dict and typing.Dict used (and list / typing.List). As far as I understand, they can be used interchangeably, so I just went with the other.

[csc-jm]

I think what @csc-felipe commented is a good point. If we're updating the typing, we might as well do it with the current best practice while we're at it (as long as it's not an unnecessarily long task). So while the built-in typing class still exists, it's been deprecated by now as proposed in PEP 585. So you would have list, dict etc. or then collections.abc.Callable and collections.abc.Iterator.

However, it seems the types Any, Optional, TypedDict and TypeVar which we still have in our code (at least I found in this PR) are still to be imported from typing 🤔

[csc-felipe]

Looks good :)

[csc-felipe]

Approved, but you still have to click on the three dots > dismiss review from Joonatan's requested changes.

Change implemented

[csc-jm]

Now everything looks good to me as well :P