Add imap to world DSL, with examples
#1990
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
byorgey
force-pushed
the
push-rxokpkpuxtxn
branch
from
3f540a3
to
b84b4f9
Compare
byorgey
force-pushed
the
push-rxokpkpuxtxn
branch
from
b84b4f9
to
5a2376c
Compare
byorgey
force-pushed
the
imap
branch
2 times, most recently
from
11291fc
to
fd44dc1
Compare
xsebek
approved these changes
Jun 26, 2024
Comment on lines
74
to
+75
|
|
||
| data Op = Not | Neg | And | Or | Add | Sub | Mul | Div | Mod | Eq | Neq | Lt | Leq | Gt | Geq | If | Perlin | Reflect Axis | Rot Rot | Mask | Overlay | Abs | ||
| data Op = Not | Neg | And | Or | Add | Sub | Mul | Div | Mod | Eq | Neq | Lt | Leq | Gt | Geq | If | Perlin | Mask | Overlay | Abs | IMap |
There was a problem hiding this comment.
Were there no worlds using reflection and rotation?
There was a problem hiding this comment.
Correct. Reflection wasn't even fully implemented, as it turns out. And rotation is not very interesting until you have things like structures you can refer to from within the language.
byorgey
added
the
CHANGELOG
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.
Adds a new primitive
imap, aka index map, primitive to the world DSL.imaphas typeWorld int -> World int -> World a -> World a. Think of it like(Coords -> Coords) -> World a -> World a, i.e. given a coordinate mapping, it creates a new world by looking up the cell at the transformed coordinates in the given base world. However, since there are no lambdas we cannot directly give it that type; instead, the firstWorld intrepresents a functionCoords -> intwhich gives an x coordinate, and the second gives the y coordinate. All told,imap wx wy wais like\c -> wa (wx c, wy c). For example,imap (-x) y wis a reflection ofwacross the y-axis.Adds a description of
imapto the language reference, as well as adding a few examples.Also removes the
rotandreflectprimitives, since they can now be simply implemented in terms ofimap.Depends on merging #1989 first. Closes #1584.