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
Задание
Создайте функцию с именем square, которая вычисляет квадрат переданного числа
(square 3) ; 9
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Полезное
Определения
Объект первого рода — Сущность в языке, которая рассматривается как данные. Это значит, что её можно записывать в переменную, передавать в функции и возвращать из функций.