Chase Wilson

Adding the type id function would also allow `T::from_ddvalue()` to be safe, which would be really nice

That is totally my bad, I thought the normal one used the [`internment`](https://docs.rs/internment/0.4.1/internment/) crate. That aside though, I still think this would be an incredibly useful feature to have

Just the general ability to add data into ddlog that can then be accessed inside of it

The spirit of what I'm trying to do is very similar to what `internment.dl` does, except I want to eliminate global state. `internment.dl` doesn't require an "input struct" of any...

What I'm asking for is deterministic, by the way. The input data I want to use (and using it) has absolutely no side effects

This is just a more general framework for doing this that's more extensible. For instance with arc interner, instead of having a global variable holding your `DashMap` you'd insert the...

That sounds more or less like what I want, I'm alright with having to build on top of primitives provided by ddlog

An arena was just a good picture of something that could be useful to be able to be done, and that sounds good!

That's perfectly alright, it's not pressing at all. Thanks for taking the time!

> Overheads seem to be on the order of 40%-50%, more than I expected. > I would expect this to be lower if weights are always small. The value of...