In most of our discussions of this idea, we've assumed that we'd adopt the same semantics that callback protocols use.
If we do that, then only `lambda a: 3` will type check. In order to type check both you'd have to make `a` positional-only: ``` def IntToIntFunc(a: int, /) -> int: ... ``` This is one of the reasons I think functions-as-types could be a great idea but not a good substitute for better callable syntax. _______________________________________________ Python-Dev mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/6EB54EZXUVFR3HPTGLQK4AGJ7UUR5K4F/ Code of Conduct: http://python.org/psf/codeofconduct/