IG
Victor Miasnikov
Корреляция: новая жена и всё -- "теория всего" не задалась
"Совпадение? Не ..." -)
"Совпадение? Не ..." -)
По идее, она в тех обстоятельствах и не могла состояться
Size: a a a
2020 April 25
2020 April 26
IJ
Хотя вклад Пуанкаре в теорию относительности сильно недооценён. Очень сильно. 😔
специальную или общую? :)
FO
Ну, вот на Схеме можно легко писать телеграм ботов, и можно уже давно. Но популярности это не добавляет. Контрпример :)
Да и на фортране бота было не сильно сложно наклепать :-)
FO
Добавить комментарии в AST? Вроде ничего плохого не случится…
Отлично. А потом я беру код типа:
int a, // a variable
b, // b variable
C, // C variable
D; //d variable
И как тогда такое хранить в AST-дереве?
Для себя я решил эту задачу сохранением числа пробелов на начало лексемы, а дальше сама лексема с переформатированными //, чтобы они шли друг под другом. И в AST дереве в примере написано, что проинициализированы такие-то переменные
int a, // a variable
b, // b variable
C, // C variable
D; //d variable
И как тогда такое хранить в AST-дереве?
Для себя я решил эту задачу сохранением числа пробелов на начало лексемы, а дальше сама лексема с переформатированными //, чтобы они шли друг под другом. И в AST дереве в примере написано, что проинициализированы такие-то переменные
KR
Отлично. А потом я беру код типа:
int a, // a variable
b, // b variable
C, // C variable
D; //d variable
И как тогда такое хранить в AST-дереве?
Для себя я решил эту задачу сохранением числа пробелов на начало лексемы, а дальше сама лексема с переформатированными //, чтобы они шли друг под другом. И в AST дереве в примере написано, что проинициализированы такие-то переменные
int a, // a variable
b, // b variable
C, // C variable
D; //d variable
И как тогда такое хранить в AST-дереве?
Для себя я решил эту задачу сохранением числа пробелов на начало лексемы, а дальше сама лексема с переформатированными //, чтобы они шли друг под другом. И в AST дереве в примере написано, что проинициализированы такие-то переменные
Теоретически дерево можно дополнить всяким, но практически непонятно даже как комментарии /* */ хранить так, чтобы не было безумно больно их обрабатывать.
IJ
Теоретически дерево можно дополнить всяким, но практически непонятно даже как комментарии /* */ хранить так, чтобы не было безумно больно их обрабатывать.
Ну вообще можно любую грамматику тривиально дополнить комментариями, мне кажется
IJ
Берем все терминалы преобразуем в нетерминалы
IJ
'if' становится IF := 'if' | 'if' COMMENT
KR
Ну и потом будем 15 лет жалеть, что женились на этой идее.
Я делал для языка с фортрановским синтаксисом, терпимо. Но для выражений это ужас.
Я делал для языка с фортрановским синтаксисом, терпимо. Но для выражений это ужас.
IJ
А дальше комментарии могут храниться как аннотации к дереву
KR
Может лучше их держать отдельно?
И прикреплять по location? Методами 2d графики :-)
И прикреплять по location? Методами 2d графики :-)
IJ
Может лучше их держать отдельно?
И прикреплять по location? Методами 2d графики :-)
И прикреплять по location? Методами 2d графики :-)
Для компиляции они не нужны уже
IJ
А если нужны то есть варианты как хранить, конечно.
IJ
В идее, например, все токены это пары начального и конечного индекса в тексте, и из них потом строится аст
IJ
Т.е. в каждом узле аст есть привязка к индексу в тексте и к длине токена
KR
Мне нужно было для трансформации в latex/tikz из dsl, описывающего windows metafile.
То есть, там и команды надо преобразовывать, и комменты оставлять.
Но там просто, а вот как для сложных вещей, например, из Хаскеля 98 в С делать ?
То есть, там и команды надо преобразовывать, и комменты оставлять.
Но там просто, а вот как для сложных вещей, например, из Хаскеля 98 в С делать ?
FO
Теоретически дерево можно дополнить всяким, но практически непонятно даже как комментарии /* */ хранить так, чтобы не было безумно больно их обрабатывать.
Ну мне немного повезло с фортраном. Посреди строки не может быть комментария, поэтому было достаточно выравнивать по !
AT
специальную или общую? :)
Специальную. Группа преобразований Лоренца и вот это всё.
VM
Кстати а что с комментариями? Их в АСТ нету, как быть?
Можно посмотреть как это сделано в утилите pretty print в Modula-3.
Да, грамматика модифицированна.
Например, в ней есть "группы пробелов" (?) и т.п.
Да, грамматика модифицированна.
Например, в ней есть "группы пробелов" (?) и т.п.
МБ
Dmitry Ponyatov
а есть ли какие-то языки построенные только и исключительно на pattern match ?
чем они от Пролога отличаются?
чем они от Пролога отличаются?
Wolfram Mathematics. Но он тоже, наверное, "экзотичный", хотя, люди им пользуются активно.