You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Dec 2, 2023. It is now read-only.
Doing arbitrary inference of what a variable's type is in scopes is not possible because type inference is turing complete, but most types do not fall into this category. We should make a language server plugin that can be used in Visual Studio Code which adds type annotations to variables by evaluating all computable types (up to a complexity limit).
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Doing arbitrary inference of what a variable's type is in scopes is not possible because type inference is turing complete, but most types do not fall into this category. We should make a language server plugin that can be used in Visual Studio Code which adds type annotations to variables by evaluating all computable types (up to a complexity limit).
The text was updated successfully, but these errors were encountered: