Free Clojure course. Sign Up for tracking progress →

Clojure: Объявление и вызов функций

Функции в Clojure обладают следующими свойствами:

  • У функций нет имен. Во многих языках такие функции также существуют и называются анонимными функциями или лямбда-функциями.
  • Функции являются объектами первого рода. Их можно присваивать переменным, передавать в другие функции и возвращать из функций.
; определение функции, вычисляющей сумму двух чисел
(fn [x y] (+ x y))

В примере выше определяется функция с двумя аргументами. Определение функции начинается со слова fn. Вторым элементом в форме определения функции идёт список аргументов. Третий и последующие элементы — тело функции. То есть тело может состоять из нескольких форм (как минимум из одной):

(fn []
  (println "one")
  (println "two"))

Обратите внимание на отсутствие инструкции return. В отличие от большинства других языков, в Lisp-языках "инструкций" практически нет. Всё есть выражение. А выражения всегда возвращают результат. Если хорошо подумать, то такое поведение следует из самой структуры Lisp-программы. Фактически мы имеем дерево, которое должно вычисляться в какое-то значение, значит на каждом уровне должен создаваться возврат, поднимающийся выше по дереву, и так до самого корня. Возвращается всегда последнее вычисленное выражение.
Пара примеров для закрепления:

; печать на экран
(fn [] (println "hello!"))
; куб числа
(fn [n] (* n n n))
; среднее между двумя числами
(fn [num1 num2] (/ (+ num1 num2) 2))

Определение функции само по себе мало полезно, особенно если мы захотим использовать её несколько раз. Для повторного использования нужно создать объявление, в которое запишется функция. Такое возможно благодаря тому, что форма определения функции — это выражение, возвращающее саму функцию.

(def cube (fn [n] (* n n n)))

Теперь попробуем вызвать:

(cube 2) ; 8
(cube 3) ; 27

Помимо связи анонимной функции с объявлением существует упрощенный вариант объявления функции и связи ее с идентификатором. Делается это с помощью формы defn, которая делает процесс объявления функции удобнее (в таком способе объявления возможно даже написать документацию на объявляемую функцию!).

(defn cube [n] (* n n n))
(cube 2)      ; => 8
(cube 3)      ; => 27

(defn increment
  "Function that increments passed number by one."
  [n] (+ n 1))
(increment 2) ; => 3

Instructions

Создайте функцию с именем square, которая вычисляет квадрат переданного числа

(square 3) ; 9
The exercise doesn't pass checking. What to do? 😶

If you've reached a deadlock it's time to ask your question in the «Discussions». How ask a question correctly:

  • Be sure to attach the test output, without it it's almost impossible to figure out what went wrong, even if you show your code. It's complicated for developers to execute code in their heads, but having a mistake before their eyes most probably will be helpful.
In my environment the code works, but not here 🤨

Tests are designed so that they test the solution in different ways and against different data. Often the solution works with one kind of input data but doesn't work with others. Check the «Tests» tab to figure this out, you can find hints at the error output.

My code is different from the teacher's one 🤔

It's fine. 🙆 One task in programming can be solved in many different ways. If your code passed all tests, it complies with the task conditions.

In some rare cases, the solution may be adjusted to the tests, but this can be seen immediately.

I've read the lessons but nothing is clear 🙄

It's hard to make educational materials that will suit everyone. We do our best but there is always something to improve. If you see a material that is not clear to you, describe the problem in “Discussions”. It will be great if you'll write unclear points in the question form. Usually, we need a few days for corrections.

By the way, you can participate in courses improvement. There is a link below to the lessons course code which you can edit right in your browser.

Definitions

  • Объект первого рода - Сущность в языке, которая рассматривается как данные. Это значит, что её можно записывать в переменную, передавать в функции и возвращать из функций.


If you got stuck and don't know what to do, you can ask a question in our huge and friendly community