DEV Community

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

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