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).
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).