On: Python is not a great programming language

[jolux]

As I understand it those are not really complete though, are they? Do they offer algebraic data types and exhaustive pattern matching?

[j88439h84 → jolux]

I'm not sure. There is Union[Foo, Bar] which matches instances of Foo or Bar [0] and there is @overload [1]. What would it need to be complete?

[0] https://docs.python.org/3/library/typing.html#typing.Union

[1] https://mypy.readthedocs.io/en/latest/more_types.html#functi...