a, b, c, ..

a, b, c,

a, b, c

Но почему-то не работает

Видимо он идентификатор в списке ожидает, что логично

ну ты можешь файл открыть прям в процедурном макросе, от туда и вызвать какой-то парсер (у syn должно api быть для этого)
А в декларативном по идее нельзя.

Спасибо!

Моя цель – парсить текстовый DSL, проверяя что там сходятся типы, и потом его интерпретировать

Может для этого есть какие-то инструменты получше чем макросы?

Та вроде нет. Тут скорее вопрос где ты хочешь это все интерпретировать и запускать, может - это тебе надо в рантайме. Так что наверное зависит от специфики DSL

Да. Это называется "интерпретация". Она состоит из лексического/синтаксического разбора и далее прямой интерпретации полученного AST, либо компиляции в байткод, и его интерпретации/выполнения на ВМ.

Для разбора есть комбинаторы парсеров (Nom) и несколько генераторов парсеров.

Написать интерпретатор AST на Rust руками — плёвое дело. Простой компилятор в стековый байткод — тоже.

Для проверки типов удобно брать логические движки. Либо какую-нибудь реализацию Prolog, которые тоже есть на Rust, либо один из пары альтернативных. Но можно тоже руками написать, в зависимости от сложности системы типов.

Спасибо! Если помнишь какие-то примеры реализаций типизации на подобных движках, можешь кинуться ссылочками? Если не сложно :)

Если "подобные движки" — это "логическое программирование", то такое делается на коленке в два счёта. Например, так: https://gist.github.com/gabriel-fallen/5027a387ca75f595c03404c31d76ce86
Тут некоторые пояснения: https://www.youtube.com/playlist?list=PL-vT8sV0teWg_nSJHfN31a0Sr_hsRdahI

Вообще, в Интернете должно быть полно тьюториалов типа "тайпчекер на Prolog/miniKanren/etc." Потму что это реально просто. Вместе с унификацией и выводом типов.

Буду гуглить, спасибо за направление и ссылки! :)

У Вас там какая система типов? А то, может, проще руками написать?

Логический движок даёт из коробки унификацию (первого порядка) и поиск с откатами. Если ни того, ни другого для проверки типов не требуется — проще на Rust руками на матчах закодить.

Хороший вопрос! Но пока что я не знаю ответа, тк и язык, и интерпретатор существуют только в виде нечёткой идеи :)

Я думал про что-то такое
aqua!(
   (free-vars module-id distributor)
   (steps
       (call distributor (wasm has-local-module) module-id)
       (if (not (call distributor (wasm pin) module-id)) terminate)
       (call distributor (wasm start-providing) module-id)
       terminate
   )
);

или такое

aqua!(
   (free-vars module-id distributor)
   ((and
       (call distributor (wasm has-local-module) module-id)
       (and
           (if (not (call distributor (wasm pin) module-id)) terminate)
           (and
               (call distributor (wasm start-providing) module-id)
               terminate
           )
       )
   ))
);

ну, это когда я думал про раст макросы, конечно

В принципе, даже сравнительно продвинутый bidirectional type checking без особых проблем руками пишется...

(не уверен, может это уже оффтопик)

Всем привет
Кто-нибудь может плз подсказать, есть ли человеческий способ мержа джсонов в расте?

раскрой мысль, получить объединение нескольких схем?

{ "A": 1 }
+
{"B": "privet":}
=
{"A": 1, "B": "privet"}