4 ms·
Sure -- but the majority of that static analysis (in the absence of type annotations) is inferring types and then running everything through the type-checker, r
by bluepnume 8y ago
Sure -- but the majority of that static analysis (in the absence of type annotations) is inferring types and then running everything through the type-checker, right?