KAkazinator·Oct 26, 2022
> Semantics is a separate matter.
I agree; and symbol is a semantic entity, not a syntactic one.
S-expressions do not have symbols, they have tokens which become symbols when read into the machine.
Tokens are clumps of characters. i.e. strings.
> There are no symbols or references in Jevko.
> @gnulinux and @User23 have it right.
Those two are insisting that texts are symbols in Jevko, so the above two statements contradict each other.
E.g.
gnulinux> You're not understanding. These are not strings. These are symbols.
User23> Jevko language [...] has no strings. For example, a Common Lisp hosted Jevko parser implementation might choose to represent Jevko text objects as symbols.
> What's happening here is parsing. `jevkoToHtml` is a kind of parser-transpiler which operates on a syntax tree, rather than a sequence of characters or tokens.
Th
Read the rest
at is obviously false. It's operating on a nested list of strings, whereby it's making a semantic decision whether a string in a certain position of a nested item in the structure ends in the = character.
In other words the syntax is character-level. The strings themselves have syntax, which is made of characters. That's in the Jevko specification. Characters are the atoms in Jevko.
The = character that the code is looking for is a %x3D element.
It's right here: https://github.com/jevko/specifications/blob/master/draft-st...
The = character is %x3D. An %x3D is Character. A Character is one of the kinds of Symbol (the other being Digraph). A Symbol is a constituent of Text. Text generates a Prefix or Suffix. A Suffix alone can be a Jevko due to this rule:
Jevko ::= *Subjevko Suffix
Thus, formally Jevko does have Symbols: a Symbol is a Character or Digraph.
A Text is a sequence of Symbols, which are Characters or Digraphs. It is in no way an atom. A sequence of characters or diagraphs is a string.