Coding 2025-01-20
I did not, in fact, make this quick.
I did not, in fact, make this quick.
This is going to be a delicate refactor, because on paper the code is already doing most of what it should be, it's just that the implementation is confusingly non-ideal.
Varying levels of intuition arguing about whether "static ref counting" is a thing that can possibly work.
At some point I'll have a concrete idea of what to do next...
Oh boy, it's time to bring in more extensions to the simply-typed lambda calculus.
Progress on various fronts, but too tired to explain.
I hope I at least converge on a consistent architecture with this stuff...
It's possible that I'm conflating two fundamentally different things that happen to occur around the same time.
Weird obstacles, but should be over them soon.
Cutting down on the keystrokes involved by at least two orders of magnitude.