LL
Я где-то читал что есть с этим две проблемы - в матчингах может быть разный контекст и набор паттернов примерно отражает порядок их исполнения
inИ можно всё оборачивать во вложенные матчинги (разделяя на функции конечно же)
Size: a a a
2020 May 22
LL
Есть инструкции типа
И можно всё оборачивать во вложенные матчинги (разделяя на функции конечно же)
И можно всё оборачивать во вложенные матчинги (разделяя на функции конечно же)
AR
Я где-то читал что есть с этим две проблемы - в матчингах может быть разный контекст и набор паттернов примерно отражает порядок их исполнения
ну понятно, что в or паттернах должны быть разрешены только паттерны с одинаковым сетом биндингов
LL
Вариант @greenest_pig наиболее похож на правду, а вообще это не родная задача для эликсира/эрланга, поэтому будет некрасиво
AR
leex и yecc кстати хреновенькие, надо будет на что-то заменять, это следующий вопрос! )
AR
leex и yecc кстати хреновенькие, надо будет на что-то заменять, это следующий вопрос! )
вот nimble_parsec есть парсер комбинаторы от жозе, оно норм?
LL
Иногда для хитрых структур вводятся макросы типа
defmacrop sigma(x, y), do: quote(do: {:sigma, unquote(x), unquote(y)})
# И уже в матчинге
sigma(_, item) -> ...LL
Но это плохая практика
AR
я бы избегал макросов для такого
LL
Если эти элементы - это куски
То я бы привёл их к виду
astТо я бы привёл их к виду
{functuon_name_atom, args_list}ŹR
rel1, rel2 - это странно
LL
Примерно в этом виде, кстати, существует
AST в elixirŹR
Так пишут в окамлях?
ŹR
В эрланге иногда пишут
ŹR
зачем то...
AR
rel1, rel2 - это странно
rel_left, rel_right лучше?
ŹR
rel_left, rel_right лучше?
наверное
PG
вот nimble_parsec есть парсер комбинаторы от жозе, оно норм?
мне норм
ŹR
В эликсире я полагаю нужно написать функцию с несколькими сигнатурами
ŹR
и вызвать ее на rel