анализа программ на этом же языке, не беря во внимание неудобное слишком формализированое старьё типа Лиспа?
Prolog, наверное. https://www.youtube.com/watch?v=nmBkU-l1zyc https://www.metalevel.at/prolog/macros Также есть видео про переписывание термов и пост про мета-интерпретаторы. У меня создалось впечатление, что в Prolog нет необходимости цитировать, как в Lisp. Будто там попроще манипулировать
Наверное ещё Refal можно вспомнить
спс, или скажем так ещё бы была рефлексия на фиче-ориентированность или части алгоритма. что имеется в виду. Код можно разметить на то что некая группа является некой частью алгоритма (с более высоким уровнем абстрации на этом) либо фиче-ориентированый подход с разметкой фичей вдоль всего кода с тем чтобы фичу можно было включит/выключить что то с ней делать. И есть рефлексия на это то есть ООП оперирование с алгоритмом, в котором есть части, есть фичи
daScript позволяет работать с собственным AST, на этом построены его макросредства, но и для анализа подойдёт. Например, lsp плагин для daScript тоже это использует и преимущественно написан на самом daScript. Ещё вроде бы у языка Ada есть богатый набор средств для самоанализа (через https://www.adacore.com/asis)
Вам, может, нужен фреймворк для "Aspect-Oriented Programming"? Есть для Java, C# и чего попало.
JVM - Котлин, Java
в MetaOCaml легко генерировать алгоритмы в зависимости от параметров
Обсуждают сегодня