Понятно!

Я оттуда узнал про Common Lisp и Forth.

Ого.

И про метапрограммирование.:)

У меня вот такая идея, позволит повысить читаемость лиспа, сохраняя его достоинства.

Начну, пожалуй, со своей идеи. Чтобы обеспечить богатство инструментария, машинная работа с исходниками должна быть как можно более простой, а значит язык должен иметь как можно более простой синтаксис, чтобы написать его парсер мог любой джуниор. В идеале - сами исходные коды должны быть ни чем имым, как сериализованное абстрактное синтаксическое дерево. Апофеозом этой идеи является Лисп, где есть только "атомы" и их "списки". Семантика определяется именем атома и контекстом его использования. К сожалению, плоские списки имеют довольно слабую читаемость.

Типичный код на Лиспе:

(defun fibonacci (n)
  (loop repeat n
        for a = 0 then b
        and for b = 1 then (+ a b)
        finally (return b)))

Даже в нём, как правило первый элемент имеет особое значение, определяющее семантику остальных элементов. В обилии скобочек легко запутаться. Гораздо лучше было бы воспользоваться синтаксисом со значимыми отступами, что значительно улучшило бы читаемость. Например, всё дерево можно представить в виде типизированных узлов, которые могут содержать списки других узлов. Вложенные узлы помещаются на отдельных строках с большим отступом.

Например:

test
  name \define and use custom macro with arguments
  case jack
    inherit
    let body cut-head cut-tail from
    tree body
      one
      two
      three
      four
  case
    two
    three

Так.

Ты в курсе про SRFI 49?

в репозитории CMU было подобное для CL

забыл как именно называлось

(defun fibonacci (n)
  (loop repeat n
        for a = 0 then b
        and for b = 1 then (+ a b)
        finally (return b)))

test
  name \define and use custom macro with arguments
  case jack
    inherit
    let body cut-head cut-tail from
    tree body
      one
      two
      three
      four
  case
    two
    three

Ещё сразу пара вещей:
1. Писать парсер проще как раз когда есть скобочки, а не значимые отступы
2. В обилии скобочек сложно запутаться, если у тебя нормальные тулзы для редактирования

вот это что ли https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/syntax/cgol/0.html

3. В Коммон Лиспе не только списки и атомы

и ещё вот это https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/syntax/glisp/0.html

идея довольно старая

Теперь да, но у меня идея сделать на базе формата Tree, где синтаксис проще, а в строках не надо экранировать спецсимволы.

1. Да примерно так же я бы сказал. А вот когда и отступы значимые и скобочки - это уже куда сложнее.
2. Не везде доступны "тулзы для редактирования". В телеграме вот до сих пор их нет. Хватит это терпеть!)

А что ещё?

Ридер-макро.