New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Infer argument and return types of callable values #9

Open

JukkaL opened this issue Nov 15, 2017 · 0 comments

JukkaL commented Nov 15, 2017

It may be possible to infer the argument and return types of callable values in some cases. Here's an idea:

Record the identity of a callable object given as an argument to a function.
Record the identity of the called function when recording their argument/return types.
Match the two identities from above to infer the type of a callable object.

JukkaL changed the title ~~Infer when argument and return types of callable values~~ Infer argument and return types of callable values

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment