KAkazinator·Oct 26, 2022
If b is a symbol, which one is it? Is it interned, or uninterned?
Given the Jevko syntax [b b], is that a repetition of the same object, or is that two different symbols that have the same name?
Is it like (b b) or (#:b #:b)? Why or why not; based on what documentation?
In symbol manipulation, symbols are atoms. Each symbol represents an identity. An identity cannot be fractured into sub-identities. The textual name of a symbol just provides a written notation; all semantics of symbol manipulation concerns itself only with whether two symbols are the same one or a different symbol. For instance the idea that the symbol foo is a prefix of the symbol foobar is invalid. We may only ask whether foo and foobar are the same entity or different.
A basic operation in symbol manipulation is semantics-preserving substitution. If Jevko is based on s
Read the rest
ymbols then [a b b] can be replaced by [a c c] without loss of semantics. In fact, all we are doing is changing the name of the b symbol; its identity remains the same.
Suppose there is some application built on Jevko in which [a=b b] cannot be replaced by [a=b c] without destroying the semantics; suppose it has to be that in that application, if b is replaced by c, then [a=b b] must turn into [a=c c], in order to preserve a relationship that holds between a=b and b. That application has then destroyed the concept of a Jevko symbol, because a=b isn't functioning like an atom any more. It's functioning like two symbols a= b or possibly three symbols a = b.
Thus if a=b is really one symbol, and not a string of three characters, then no legitimate, Jevko-respecting application of Jevko can do anything like this, namely treat a=b as being syntax which codes for two or three atoms.
But that's a lie, because Jevko is intended for doing that sort of thing like it's going out of style.
For instance, in this code:
https://github.com/jevko/jevkodom.js/blob/master/jevkoToHtml...
can you explain what
mid.endsWith('=')? "attr": "tag"
is doing? It sure looks to me like it's asking whether a symbol (i.e. indivisible atom) ends with an equal sign, which is semantic gibberish.