plum VS MonkeyType

You can use https://github.com/beartype/plum instead of that elif chain too

Singledispatch is old, dates back to py2: https://docs.python.org/3/library/functools.html#functools.s...

I definitely agree that multiple dispatch is a lot harder :). But most of the examples in the article didn't need it, and it would have been appropriate I think to show equivalent code in Python. All that article did was make me think the author didn't know Python very well.

There are several libraries for multiple dispatch too, for e.g. https://github.com/wesselb/plum

MonkeyType collects runtime types of function arguments and return values, and can automatically generate stub files or add type annotations directly to your Python code based on the types collected at runtime.

To alleviate the burden of manual annotation, MonkeyType offers a clever solution. It dynamically observes the types entering and leaving functions during code execution. Based on this observation, it generates a preliminary draft of type annotations. This significantly reduces the effort needed to add type hints to legacy code.

https://github.com/instagram/MonkeyType can perform the call logging, and can export a static typing file which is used by mypy, but also e.g. PyCharm. It doesn't expose such fine grained types, but you could build that based on the logged data.

Which introduces MonkeyType, a python library that generatics static type annotations by collecting runtime types.

Not sure if you're joking but there is something similar for python developed by a rather well known company https://github.com/Instagram/MonkeyType