This is such a great idea that I think it deserves its own PEP (to compete with
this one?) Let me explain. PEP 677 was created for the sole purpose of
replacing typing.Callable, but there are still some other areas where function
metadata is required. What if we instead introduced a function prototype that
allows you to "declare" a "function" without a body.
typing example:
import typing
@typing.Callable
def IntToIntFunc(a: int) -> int
def flat_map(
l: list[int],
func: IntToIntFunc
) -> list[int]:
...
ctypes example:
import ctypes
@ctypes.CFUNCTYPE
def f(x: int) -> bool
But of course this comes with a few issues: should it be an expression and if
so, should the name be optional? How can ParamSpec be handled?
_______________________________________________
Python-Dev mailing list -- python-dev@python.org
To unsubscribe send an email to python-dev-le...@python.org
https://mail.python.org/mailman3/lists/python-dev.python.org/
Message archived at
https://mail.python.org/archives/list/python-dev@python.org/message/XPPZZZWVVW6KRBKYXJKXHPTECRDIOFUE/
Code of Conduct: http://python.org/psf/codeofconduct/
