"макросы"
Читаю про системы "макросов" в Rust (с-style) и в Racket (Schema). Потом почитаю про макросы в Nemerle. Интересно, есть ли что-то ещё, про что стоит почитать. Я хочу попробовать сделать небольшой "чисто макросовый" язык, но современный - оперирующий с текстом только в самом начале, потом с лексемами, потом с не типированными переменными, потом... Чтобы синтаксис как можно раньше описывался макросами (и в Rust, и в Racket, и в Nemerle системы макросов - отдельная приспособа). Бэкенд - кодогенерация в mainstream (не функциональные) языки C++, C# (я с ним хорошо знаком, с Java хуже, поэтому не буду), может, в Rust (чтобы был повод познакомиться с Rust) - ну и какой-то минималистичный собственный рантайм, потому как хорошая система макросов должна уметь простые вещи считать сама по ходу макро-расширений. С функциональными языками я знаком понаслышке, последнее время читал книгу по Idris, но так и не дочитал пока.