# Challenges of Static Typing for Curried Functions in Python

**URL:** <https://discuss.python.org/t/challenges-of-static-typing-for-curried-functions-in-python/89340>\
**Category:** Typing\
**Tags:** help, typing\
**Created:** [April 23, 2025, 3:33pm UTC](https://discuss.python.org/t/challenges-of-static-typing-for-curried-functions-in-python/89340 "2025-04-23T15:33:29Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![MegaIng](https://sea2.discourse-cdn.com/flex002/user_avatar/discuss.python.org/megaing/32/16162_2.png) [@MegaIng](https://discuss.python.org/u/MegaIng)\
**Post date:** [April 23, 2025, 3:48pm UTC](https://discuss.python.org/t/challenges-of-static-typing-for-curried-functions-in-python/89340/2 "2025-04-23T15:48:09Z")

</div>

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](https://discuss.python.org/t/extends-copy-signature-to-add-arguments-to-an-overriden-method-of-a-derived-class/51333)
- [Taking the argument signature from a different function](https://discuss.python.org/t/taking-the-argument-signature-from-a-different-function/42618)
- [Extract kwargs types from a function signature](https://discuss.python.org/t/extract-kwargs-types-from-a-function-signature/34238)

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.

---

_[View the full topic](https://discuss.python.org/t/challenges-of-static-typing-for-curried-functions-in-python/89340)._