EG
Как логос понимает, какое из слов в объявлении — «оператор»?
Size: a a a
2020 October 16
b
каких слов в каком объявлении
b
вот из стандартного диалекта
b
p and q :=
p, q := boolean.
-> p ?
true -> q.
false -> false.
EG
Окей, давай по порядку
EG
Вот я объявляю
id := iota.
EG
Я могу так сделать?
EG
Как в стандартном диалекте объявлен
boolean := iota.b
ну ты задал вопрос
b
как логос понимает что где в определении
b
вот парсер читает
p and qEG
b
это высказывание (пропозиция) из трех слов, предполагается что это все нонсенс. просто какая–то общая пропозициональная форма
b
дальше в определении встречается
p, q := boolean.EG
Я просто не понимаю, как устраняется неоднозначность парсинга
EG
Ну или построения аста
b
если обычно кложуры в языках программирования работают по принципу shadowing, то логос наоборот таким образом. ты расставляешь знаки изнутри–наружу
b
ну что тебе не понятно
EG
Вот я объявляю
id := iota.
^
b
теперь
p and q это не буквально “p and q”, теперь это в лексическом графе <boolean> “and” <boolean>