In this project, we see how much we can generalize the core properties of ACID database transactions (atomicity, etc.) to general code and computer operations. The idea is to develop a framework that can provide these generalized capabilities.
Tag: Tech Personal Projects
Categories
Symbolic Dependencies and Refactorability
What language features are (minimally) necessary in order to implement full refactorability of symbols? (Think “Rename Symbol” in your favorite IDE.) For example, when I used Python instead of Java, I had discovered that refactoring interfaces was much harder. Is there a deeper explanation for this?
