[edn] Make EDN allocation more flexible #138

New issue

Open

opened 2020-08-06 16:55:33 +00:00 by gburd · 0 comments

gburd commented

2020-08-06 16:55:33 +00:00

(Migrated from github.com)

There's a nice builder/allocator pattern for this in pretty.rs which I think is worth understanding: see bb5e5aa3e9/src/pretty/lib.rs (L41)

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