Comments (4)
@jeapostrophe a brief explanation of your idea of "tri-camerality" would be great---I can't guess what the third bit from read and parse is.
from rhombus-prototype.
No, I did not intend expand
to be the third step. I really meant what Honu does.
The point of this item is to discuss the idea that although Racket 2 won't be parenthetical, it will have a simple predictable rule for determining what goes together. For example, if we look at a program like if c t else f where x = 3
we have to determine whether the where
goes with the f
or the entire if
. In Racket it is clear because you'd have either ((if c t f) . where . [x 3])
or (if c t (f . where . [x 3]))
In Honu, if I understand correctly, the if
macro has access to the entire stream and it could enforest as (if c t f) where x = 3
and then the where macro would take over and enforest as (where (if c t f) [x 3])
OR if
/where
could behave differently. In other words, you need to understand the implementation of the macros to determine what goes together. This, IMHO, is a disadvantage of tri-camerality and I think that bi-camerality is superior.
from rhombus-prototype.
I'm guessing from page 9 of PLAI
that bi-camerality refers to read
=> parse
and tri-camerality refers to read
=> expand
=> parse
I think in this case read
creates an intermediate syntax tree as per Homoiconicity isn’t the point by David Herman
PLAI https://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/plai-2007-04-26.pdf
Pic from http://calculist.org/blog/2012/04/17/homoiconicity-isnt-the-point/
by @dherman
from rhombus-prototype.
Thank you
for ref https://docs.racket-lang.org/honu/Parsing.html
from rhombus-prototype.
Related Issues (20)
- Dark theme hides commented colons HOT 2
- Tracker for potential small additions
- Should multiple-value static infos live under a key? HOT 1
- Is `export` in `meta` supposed to work?
- `super` outside of a class uses wrong syntax object for error
- identifiers with dots in them HOT 4
- Module-path operators confuse Check Syntax
- `values` reducer incorerctly propagates initial-value static info HOT 3
- Improve static error for incorrect arities of subclass constructors HOT 1
- Some use of `Group` leads to “syntax class incompatible with this context”
- Alts after extra-indented blocks
- Not all macro options are allowed in pre-alts block position
- Scope pruning in Rhombus blocks
- arity error in annot.macro implementation HOT 2
- Eager expansion of definitions’ right-hand sides can be detected
- Unquoted matches are not available in the same pattern
- Use-site binder hygiene bug for `let` HOT 7
- A `let` before another `def` in the same block HOT 2
- Giant green blobs in DrRacket HOT 6
- punning doesn't work in presence of :~ or :: HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from rhombus-prototype.