4 ms·
Ah, it's still exponential, but in the size of the type, and the constants of the complexity are a bit different, so you need around x30.
by NieDzejkob 5y ago
Ah, it's still exponential, but in the size of the type, and the constants of the complexity are a bit different, so you need around x30.
- lower 5y agoAh, you're right. If one goes to x_{i+1}, then there will be 2^i Maybes in the type. The number of Maybe-occurrences in the type doubles in each step and sharing won't help there.