Challenges of Static Typing for Curried Functions in Python (original) (raw)

April 23, 2025, 3:48pm 2

Calling this “curried function” is a confusing use of terminology.

There have been a few previous discussions:

• @extends / @copy_signature to add arguments to an overriden method of a derived class
• Taking the argument signature from a different function
• Extract kwargs types from a function signature

All in all, getting a good syntax for this working is difficult, especially since we don’t have function signature literals.

I think someone needs to do a lot of work of reading through all these (and probably more) discussions and make a proposal that can be implemented and discussed.