2 ms·

> Local lists (@ local): Header list grows on the stack, not heap Does this mean unbounded stack growth? I'd much rather heap allocation if that's the case, as

by messe 9mo ago

> Local lists (@ local): Header list grows on the stack, not heap Does this mean unbounded stack growth? I'd much rather heap allocation if that's the case, as at least that can be recovered from in the case of allocation failure (assuming your OS, language, and stdlib allow for it).

avsm 9mo ago
This particular iteration is unbounded, but the next step is to pass in a GADT argument to specify which headers the application wants, so only those are parsed into a heterogenous tuple.
- messe 9mo ago
  That sounds like a rather elegant solution to it.