5 ms·
I don't think it's a compelling argument against having such a language. But you might want to know what you're up against if, say, you decide to write an autoc
by tlb 6y ago
I don't think it's a compelling argument against having such a language. But you might want to know what you're up against if, say, you decide to write an autocompleter for your editor that needs to know types.
- gpm 6y agoIf you're writing an autocompleter, you have the bigger problem that it has to function when the program isn't valid syntax, or is valid syntax but has just plain contradictory type information and doesn't typecheck. Non-terminating typechecking seems easy to handle in comparison.
- minerjoe 6y agoIn lisp and in other languages you just ask the running process.