Latest paper and talk, about version control for structure editing. Presented at HATRA.
Conversation
Replying to
I enjoyed the video, especially your diagrammatic conventions. For the way my mind works, the diagrammatic language is the insight.
2
7
Replying to
Thanks. It came together when I started sketching the square diagrams in the paper
1
2
Show replies
Replying to
Not sure whether or how this fits in:
Regarding high level version control
I wonder if "primitive edit operation history diffs" could be recorded in terms of "factors" multiplied with (autogenerated) differentials of ADTs (aka zippers). Would this be interesting to investigate?
3
2
Replying to
Yes, especially since we also can normalize differences to be in tree walk order. I didn’t discuss that in the paper and cut it from the demo
2
This Tweet was deleted by the Tweet author. Learn more
Do you know aany specifics?
Replying to
"rename refactoring is a single atomic operation that does not conflict with any other"
Blows my mind because sounds like COMMON SENSE to me.
🤯
How can I unread this?
I HAVE A LOT OF WORK TO DO!
1
2
9