EG
#define uncomma(a, b, c) a b c
Size: a a a
2021 April 02
H
ну вот
H
разделитель принимает
ΑZ
У тебя разделитель пробел
H
uncomma пожалуй лучший варианта
EG
То есть в случае хирро
#define uncomma(__VA_ARGS__) thousand_lines_of_arcane_magic(__VA_ARGS__), но тем не менееH
без рекурсии это кстати нельзя сделать в сишных макросах
EG
Для трёх аргументов — можно
EG
Кто ж тебе запретит
H
у меня сколько угодно
H
забавно кстати, что это определяется в моем языке как
#define ML99_uncomma_IMPL(...) __VA_ARGS__
H
а вызывается как ML99_uncomma(ML99_QUOTE(v(1, 2, 3)))
EG
Сложна
H
только напиздел немножко
H
ML99_QUOTE(v(1), v(2), v(3))
H
вот так сработает
H
работает так: ML99_QUOTE откладывает редукцию над v(1), v(2), v(3), получается ML99_uncomma_IMPL(v(1), v(2), v(3)) => v(1), v(2), v(3), а в сам интерпретатор уже встроен uncomma над термами тел метафункций
H
в самом интерпретатор подается comma-separated список термов, а он решает когда их разделять запятыми, а когда пробелами. запятыми разделяет если термы в аргументах, а пробелами -- если термы являются телом метафункции
H
в кишках это элегантно обыграно: eval принимает функцию для лево-ассоциативной свёртки, их всего две: space-separated и comma-separated свёртки
H
и эта свёртка делается над термами, в итоге получается что-то вроде uncomma(t1, uncomma(t2, uncomma(t3, ...)))