> Лисп и есть "сам себе DSL", просто теперь он может транслироваться в Си.

Не согласен. То, что на лиспе написать DSL - это задача на выходные, не делает его DSL. Он вполне себе общего назначения. А тот язык, который описан в статье, хоть и основан на S-выражениях, решает только одну задачу: преобразование себя в C-код.

> Только вот толку?... ЛИСП интересен не тем, что "по-другому может записать printf",
> а именно своей динамичностью и идеей "данные есть код".

Прежде всего лисп интересен макросами. И именно их подобие автор пытается привнести в проект. "Данные есть код" - это конечно интересно, но присутствует и в других языках: в haskell, в ocaml например.

> Переводить ЭТО в Си - никакого смысла нет, ибо превратится в месиво хакерских
> алгоритмов, бесполезных человеку.

Есть мнение, что лисп - это и есть месиво хакерских алгоритмов, бесполезных обычному человеку. Потому что 99% лисперов - это Beautiful Bipolar Mind.

> Интереснее смотрится перевод JS в какой-нть C# - чтобы избавить страницы от
> этого мракобесия и запилить нормальный, статически типизированный язык.

А почему бы не наоборот? Вот есть, например, фреймворк Ocsigen, который переводит нормальный статически типизированный Ocaml в JS.