4 ms·
My guess is different extensions to Hindley–Milner type system, which is EXPTIME-complete in the worst case. HM isn't bidirectional in the special case, so pro
by nyrikki 2y ago
My guess is different extensions to Hindley–Milner type system, which is EXPTIME-complete in the worst case.
HM isn't bidirectional in the special case, so probably the features they added vs the top level universal quantifier type that has pathological low time complexity.