Синтаксис Clojure — префиксная запись

Несмотря на обилие круглых скобок, которое зачастую вызывает отторжение у программистов, язык Clojure имеет весьма простой синтаксис. И если присмотреться, то окажется, что и скобок не намного больше, чем в других языках, а иногда даже меньше. Сегодня мы поговорим о постфиксной записи повсеместно используемой в Clojure. Но сперва, давайте вспомним какие вообще бывают записи в программировании.

Привычная всем инфиксная запись: в ней операторы ставятся между операндов

2 + 2 * 2, object.method()

Префиксная запись (она же польская нотация): оператор стоит вначале, а затем перечисляются операнды

(+ (* 2 2) 2), ++i

При условии, что арность операторов известна заранее, скобки в первом выражении можно опустить

+ * 2 2 2

Постфиксная запись

i++

И, наконец, функциональная запись

cos(90), substr("spam!", 1, 3)

В таких языках как Ruby, Python и Java встречаются все 4 вида записей. Такое многообразие может затруднять чтение и понимание кода. К тому же, нужно запоминать приоритет выполнения операторов. В Clojure используется только префиксная запись. Сперва это непривычно и, возможно, даже «больно». Но стоит помнить, что нечто болезненное может со временем оказаться полезным ¹.

Для более наглядной картины, ниже, я привожу сравнительную таблицу вызовов функций.

С одной стороны, синтаксис вызовов на Java крайне многообразен:

• в нём есть инфиксные операторы, но любой нетривиальный код требует явно определять порядок их выполнения;
• унарные операторы имеют как префиксный так и постфиксный варианты;
• вызов статических методов сопровождается префиксом…;
• но в то же время вызов методов инстанса сопровождается множественными инфиксными формами: сначала указывается целевой объект (он будет присвоен переменной this внутри тела вызываемого метода), затем сам вызываемый метод с формальными параметрами.

С другой стороны, вызовы выражений на Clojure следуют единственному тпростому правилу: на первой позиции всегда стоит оператор (или функция), на остальных перечислены параметры передаваемые этому оператору. Инфиксная, функциональная и постфиксная записи, а также сложные правила определяющие приоритет вычисления — здесь отсутствуют. Такой синтаксис проще читать, использовать и изучать.