"макросы"

[sasha_gil]

Читаю про системы "макросов" в Rust (с-style) и в Racket (Schema). Потом почитаю про макросы в Nemerle. Интересно, есть ли что-то ещё, про что стоит почитать. Я хочу попробовать сделать небольшой "чисто макросовый" язык, но современный - оперирующий с текстом только в самом начале, потом с лексемами, потом с не типированными переменными, потом...

Comments

[kouzdra]

Caml - там в основном не макросы, а синтаксические расшерения на уровне грамматики (макросы тоже есть, но скольее для доменно-специфических расширений - когда как раз текст надо).

Причем этим активно пользуются - тот же Coq имеено библиотека с практически полностью переопределенным синтаксимом самого языка

[rdia]

Это вы про camlp4 или про ppx?

[kouzdra]

В принципе про ppx, но на деле там большой разницы нет - с разработчиком camlp4 там вообще больше похоже на несовместимость в группе

[rdia]

О! Вы не знаете случайно, можно ли в Окамловском лексере сделать однострочные комменты с задаваемыми в runtime начальными символами?

Ну, чтобы можно было попробовать (*), |* и т.д.?

Я пока пришёл к мнению, что там на каждый стиль нужно собственный .mll сделать.

[rdia]

Есть ещё Template Haskell - это Хаскель в Хаскеле.

[sasha_gil]

Спасибо, поищу-почитаю.

[rdia]

По вашей наводке начал разбираться с доктором "рэкетиров на дом вызывали?".

Интересно там с макросами - можно сделать на них pattern matching, а можно даже и GHCшные rewrite rules. И самое смешное, что это такие родственные вещи.

[rdia]