Everything in the layers of abstraction below the DSL needs to be deterministic (in order for the DSL to be able to reason about them at a higher level and avoid weird corner cases), while everything above needs to be user-friendly. This PR starts to clearly distinguish these, so that:
... employ advice, are interactive, need not have useful return values, and typically support counts.
symex-misc will soon be refactored into more well-scoped modules, so it isn't described here.
Some specific changes include:
stratifying delete and paste operations correctly in the abstraction hierarchy (i.e. appropriate deterministic primitive versions and appropriate user-facing "do what I mean" versions)
ensuring correctness in the DSL implementations of emit and capture that use the delete and paste primitives
ensuring the primitive operations function uniformly across Lisp and Tree-sitter
bug fixes and improvements in the vicinity of these changes
Public Domain Dedication
[x] In contributing, I relinquish any copyright claims on my contribution and freely release it into the public domain in the simple hope that it will provide value.
(Why: The freely released, copyright-free work in this repository represents an investment in a better way of doing things called attribution-based economics. Attribution-based economics is based on the simple idea that we gain more by giving more, not by holding on to things that, truly, we could only create because we, in our turn, received from others. As it turns out, an economic system based on attribution -- where those who give more are more empowered -- is significantly more efficient than capitalism while also being stable and fair (unlike capitalism, on both counts), giving it transformative power to elevate the human condition and address the problems that face us today along with a host of others that have been intractable since the beginning. You can help make this a reality by releasing your work in the same way -- freely into the public domain in the simple hope of providing value. Learn more about attribution-based economics at drym.org, tell your friends, do your part.)
Summary of Changes
Everything in the layers of abstraction below the DSL needs to be deterministic (in order for the DSL to be able to reason about them at a higher level and avoid weird corner cases), while everything above needs to be user-friendly. This PR starts to clearly distinguish these, so that:
... are all deterministic, don't use advice of any kind, aren't
interactive, have useful return values, and typically don't support counts either.... employ advice, are
interactive, need not have useful return values, and typically support counts.symex-miscwill soon be refactored into more well-scoped modules, so it isn't described here.Some specific changes include:
deleteandpasteoperations correctly in the abstraction hierarchy (i.e. appropriate deterministic primitive versions and appropriate user-facing "do what I mean" versions)Public Domain Dedication
(Why: The freely released, copyright-free work in this repository represents an investment in a better way of doing things called attribution-based economics. Attribution-based economics is based on the simple idea that we gain more by giving more, not by holding on to things that, truly, we could only create because we, in our turn, received from others. As it turns out, an economic system based on attribution -- where those who give more are more empowered -- is significantly more efficient than capitalism while also being stable and fair (unlike capitalism, on both counts), giving it transformative power to elevate the human condition and address the problems that face us today along with a host of others that have been intractable since the beginning. You can help make this a reality by releasing your work in the same way -- freely into the public domain in the simple hope of providing value. Learn more about attribution-based economics at drym.org, tell your friends, do your part.)