List/drop causes exponentially sized normal form

[ear7h]

Normalizing List/drop without a number results in an expression with exponential size relative to the input list.

I have a minimal demo in this gist.

Note that this this issue also affects List/index.

[Gabriella439]

What do you mean when you say that this also affects List/index?

[Gabriella439]

After looking into this I believe the only way that this could be fixed would be to add a built-in function for List/drop and List/take

[ear7h]

@Gabriella439

What do you mean when you say that this also affects List/index?

I was just making a note that List/index calls List.drop so it also has the same problem. For, example changing drop to index in the demo is also exponential.

As for a solution, I was thinking the same thing, I can work on a PR for that

[Gabriella439]

Yeah, I'd vote in favor of a PR to add those built-ins

[sjakobi]

I think adding a List/drop builtin would be sufficient to address the exponential normalization in List.index too, no?!