DEV Community

loading...

Discussion on: Simple dependent types in Python

Collapse
gimbo profile image
Andy Gimblett

Nice! Does overload play nicely with functools.singledispatch, so that (say) your decrease() function could be defined as several disjoint functions rather than one function containing type logic?

Collapse
sobolevn profile image
Nikita Sobolev Author

I have not tried this setup. Would be happy to try it out soon.