4 ms·
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 ..
by njs12345 16y 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 ..
- Locke1689 16y agoType annotations have reduced those cases to very rare instances, but yes there are still cases where the type checker can produce exponential runtime.