This is a general ticket tracking making our EDN representation more efficient. We have talked about interning in a variety of contexts (see, for example, #318) but expect to need to intern at the EDN level. So this ticket tracks making our EDN parser take a factory of some sort.
This is a general ticket tracking making our EDN representation more efficient. We have talked about interning in a variety of contexts (see, for example, #318) but expect to need to intern at the EDN level. So this ticket tracks making our EDN parser take a factory of some sort.
There's a nice builder/allocator pattern for this in
pretty.rs
which I think is worth understanding: see https://github.com/freebroccolo/pretty.rs/blob/bb5e5aa3e93485c8b1c8314ff24b189deca0301b/src/pretty/lib.rs#L41