Three Dollar Quill

Okay, this day was a bit weird, so I'm going to just dash off some quick thoughts, then post.

I've been reading and thinking really hard about how to handle address ranges, and the more I think about it, the more confused I get about how to do so.

I think what I'd like to do is to put together something with the simply-typed lambda calculus, and call-by-push-value. Only emit calls that can't trigger undefined behavior. Hopefully, doing this will get me some insight into how to handle addresses.

At the same time, though, I'm not sure how to actually handle emitting the IR. I've found some crates, but I'm having trouble understanding the documentation.

I'm going to wind down now as best I can.

Good night.