Clojure: Порядок вычисления
Превратим выражение 5 - 3 + 1 в программу на Clojure. С точки зрения арифметики, порядок вычисления элементов этого составного выражения строго определен. Сначала вычисляется 5 - 3, затем к результату прибавляется единица.
Так как первым вычисляется 5 - 3 то получаем форму (- 5 3). Затем сложим результат с единицей: (+ (- 5 3) 1). Так как операция сложения не зависит от расположения слагаемых то форму можно записать и в другом порядке: (+ 1 (- 5 3)). Неизменным остается то, что в начале каждого списка находится операция.
Заметьте, выражения, вычисляемые первыми, расположены в глубине дерева. Такое поведение свойственно большинству языков. Сначала вычисляются аргументы функций, затем вызывается сама функция.
Попробуем другой вариант: 5 - (3 + 1). В этом выражении скобки устанавливают другой приоритет. Это значит, что сначала вычислится сумма единицы и тройки. Так и запишем (+ 3 1) (или так (+ 1 3)). Теперь возьмём пятерку и вычтем из неё результат: (- 5 (+ 1 3)).
В такие моменты проявляется ещё одно преимущество Lisp-языков. Древовидная структура программы сама определяет последовательность вычисления поддеревьев. Отпадает необходимость в дополнительных скобках.
Ещё один пример: 5 + 7 + (8 - 3) - (8 * 5).
(* 5 8)(- 8 3)(+ 5 7 (- 8 3))(- (+ 5 7 (- 8 3)) (* 5 8))
В некоторых ситуациях порядок вычисления элементов списка не соответствует порядку их следования. Такое происходит при использовании специальных форм и макросов. Об этом поговорим позже.
Задание
Выведите в стандартный поток вывода (с помощью функции println) следующее выражение: 100 - 34 - 22 - (5 + 3 - 10)
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.
Ваше упражнение проверяется по этим тестам
1(ns evaluation-order-test
2 (:require [test-helper :refer [assert-output]]))
3
4(assert-output "46")
5Решение учителя откроется через:
