Уже первый параграф кажется посланием марсиан:
===
Гомоиконность предоставляет возможность программисту писать полноценные макросы в языке — программировать язык на самом языке. Например, если мы хотим создать макрос подставляющий значение в выражение x + 10, то в языке обладающем гомоиконностью всё, что нам понадобится это макрос вида Expr(+, @x, 10).