Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduce mode rings #19

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Introduce mode rings #19

wants to merge 5 commits into from

Conversation

countvajhula
Copy link
Owner

Summary of Changes

Instead of towers containing modes, we'd like them to contain mode rings. This is a natural and intuitive structure to use for modes and can make things pretty nice.

This uses the dynaring package.

The goals of this PR are:

  • Currently, tower "levels" contain modes. Change this so that they contain mode rings (which could have a single element).
  • Define a default UX in terms of keybinding flows, maybe something like what Tommy uses.
  • Define a visual (and textual) representation of a mode ring which can be appropriately edited in meta modes.
  • Review all instances of "escaping" and "entering" which assume a tower topology, and see if they should use ring rotation instead.
  • Review and update the default editing structures to make appropriate use of rings (the towers including lisp tower, the complexes, as well as the structures used in meta modes).
  • Review interop in Symex to see if those need to be changed (e.g. to use rings instead of escaping higher).
  • Document the various structures that may be relevant for users, and how to define keybindings for them to support whatever UX/topology they want.
  • Document the required .emacs.d config updates.

Public Domain Dedication

  • 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.)

Rings are a natural structure to use for modes. This has been planned
for a long time and this is a basic working version that we can
iterate on. It replaces modes with mode rings at a particular level in
a specific tower (lisp tower, so that we can rotate normal → symex →
normal), and stays behind black box interfaces.
This is just a quick hack to get the desired behavior. We'll revisit
it down the line.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant