Reduce chirality to templates #121
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This simplifies the core language by eliminating the need for `#%partial-application` as a core form. It also allows us to deal with the concept of chirality only in the expander and largely deal only in terms of explicit templates in the compiler. The only place where we still need chirality in the compiler is in `clos`, which is a way to pre-supply arguments at runtime rather than at compile time. There's no obvious syntactic way to designate which side the pre-supplied arguments should be placed on here. We could introduce `clos` and `closr` core forms to differentiate these cases but that doesn't really simplify it (although it would be another step in the direction of making our core language explicit and not reliant on syntax properties).
A comment in the code indicated that this wasn't supported for left chiral forms, but that seems to have been outdated, as this test proves.
|
@dzoep This translates everything inside the compiler to use blanket templates instead of chirality (which by that point is already translated to a blanket template by the expander). It simplifies a lot of patterns, but I haven't modified the patterns for the producer yet, and not sure what kind of complex vindaloo you might be cooking up there. Should I just leave that unchanged in this PR if you are already working on that? |
|
I propose you merge it as-is, I will get my branch in sync and merge my current work with it. Shouldn't be a big problem. |
countvajhula
merged commit 5609e15
into
drym-org:first-optimizations
1 of 6 checks passed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary of Changes
This reduces (implicit) chirality of forms as indicated by left- or right-threading to an explicit use of a blanket template (i.e.
__) in the expander, as discussed in A Fine-grained Migraine. This simplifies the core language by eliminating the#%partial-applicationform, and should reduce the number of patterns we need to match in deforestation and other compiler optimizations.Note that we still retain the concept of chirality in the compiler for handling
clos, for now.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.)