to put it another way, static type analysis is usually expected to be sound/complete/whatever. But useful tooling can be heuristic
-
-
-
I think that for this particular purpose, the main thing is just to have enough hooks for the heuristics to latch onto.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.