>> "together I have an immutable sum type + list memory model for a sort of Lisp-alike VM" So are you saying that you're using Rust as if it were a higher leve

>> "together I have an immutable sum type + list memory model for a sort of Lisp-alike VM" So are you saying that you're using Rust as if it were a higher level language? Almost as if you had garbage collection? (If so, that's very interesting. I've been wondering about ways to do that when it's appropriate for the task at hand).