EG
В лиспе нет различения между кодом и данными
Size: a a a
2020 October 30
EG
Функция — это просто точно такой же связный список, как всё остальное в языке
H
Процмакросы в расте это тихий ужас
Их пишут просто от полной безысходности
Их пишут просто от полной безысходности
совершенно верно
я знаю как эту проблему причём решить без вмешательства в компилятор
я знаю как эту проблему причём решить без вмешательства в компилятор
EG
Соответственно, оперировать кодом так же просто, как оперировать данными, потому что код это буквально и есть данные
H
как почти никогда НЕ писать проц макросы
EG
Но по сравнению с го всё счастье, конечно же
EG
как почти никогда НЕ писать проц макросы
Сделать нормально декларативные макросы?
H
я сказал без вмешательства в компилятор...
EG
90% дерайвов можно было бы описать декларативно, если бы для этого был синтаксис
EG
я сказал без вмешательства в компилятор...
Написать процмакрос для генерации процмакросов?
b
потому что я читал его срачи из 2013
где почитать?
H
мимо
H
написать библиотеку на проц макросах для метапрограммирования в декларативных макросах
H
в этой библиотеке будут реализованы функции, недоступные обычным декларативным макросам
EG
написать библиотеку на проц макросах для метапрограммирования в декларативных макросах
Я про это же
H
я этим заниматься конечно не буду
H
кстати, я просто в шоке. люди в растовом RFC месяцами обсуждают вариативные обобщённые типы и никто даже не упомянул индукцию на гетерогенных списках
H
это как?
b
действительно: как можно не упомянуть индукцию на гетерогенных списках когда речь о вариативных обобщенных типах!
p
Что такое вариативные обобщенные типы