Comment by njs12345
15 years ago
Did they succeed? I vaguely remember a lecture last year where the lecturer told us that type checking in SML was exponential in the worst case ..
15 years ago
Did they succeed? I vaguely remember a lecture last year where the lecturer told us that type checking in SML was exponential in the worst case ..
Type annotations have reduced those cases to very rare instances, but yes there are still cases where the type checker can produce exponential runtime.