В Логосе можно задать специфичный предметно-ориентированный DSL для конкретной прикладной области и вынести его в отдельный модуль. Проблемы с неправильными абстракциями пропадут потому что имея на руках возможность создания любых языков, можно создать любую абстракцию, ведь наше восприятие ограничено лишь нашим языком. После подключения нужного модуля нужно будет всего лишь задать специальный синтаксис для вызова предметно-ориентированный языка из остальной программы на Логосе, и ты получаешь всю мощь необходимого модуля! Интеграция крайне простая и эффективная.

это называется языко-ориентированное программирование если что
https://racket-lang.org/

Тут нельзя задать произвольную грамматику как я понял?

не знаю, контекстно-свободную нельзя наверное, это же лисп
для этого адаптивная нужна

Вот! А кто хочет программировать на Лиспе кроме тебя и Гольдштейна? Никто!

Я не хочу программировать на лиспе

Вот! А кто хочет программировать на Лиспе кроме тебя и Гольдштейна? Никто!