Clojure: JVM и ошибки
Вспомним платформу JVM, которую использует Clojure. Часто кишки JVM рантайма выглядывают наружу, из-за чего большинство ошибок во время работы программ трудночитаемыми. Например:
; вызываем (1)
(1)
Execution error (ClassCastException) at user/eval1 (REPL:1).
class java.lang.Long cannot be cast to class clojure.lang.IFn (java.lang.Long is in module java.base of loader 'bootstrap'; clojure.lang.IFn is in unnamed module of loader 'app')
Рассмотрим распространенные ошибки, которые возникают и разберемся, что эти ошибки означают:
X can not be cast to Y
Допустим есть тип X, но функция, которую вызывают, ожидает, что аргумент будет типом Y. Clojure пытается привести тип X к типу Y, но падает с ошибкой.
; вызовем число как функцию
(def x 10)
(x)
Execution error (ClassCastException) at user/eval138 (REPL:1).
class java.lang.Long cannot be cast to class clojure.lang.IFn
Don't know how to create Y: from X
Ошибка очень схожа с примером выше, ошибка при конвертации X типа в Y.
; попробуем проитерироваться по числу, вместо коллекции
(reduce (fn [x y] (into x (+ x 1))) [1 2 3])
Execution error (IllegalArgumentException) at user/eval1$fn (REPL:1).
Don't know how to create ISeq from: java.lang.Long
Wrong number of args (X) passed to: Y
Здесь понятно из названия, передается неправильное количество аргументов в функцию:
; функция first принимает только один аргумент
(first 1 2 3)
Execution error (ArityException) at user/eval3 (REPL:1).
Wrong number of args (3) passed to: clojure.core/first--5402
X - failed: even-number-of-forms? at: [:bindings] spec: :clojure.core.specs.alpha/bindings
Такая ошибка возникает во время компиляции Clojure кода, например форма let, которая использует для связи идентификатора и данных - вектор, внутри которого два элемента, сам идентификатор и данные. Clojure внутри себя использует clojure.spec чтобы провалидровать такие объявления, поэтому сообщение об ошибке может отличаться:
; валидный пример
(let [a 2]
(+ a 4)) ; => 6
; невалидный пример
(let [a b 3]
(+ a b))
Syntax error macroexpanding clojure.core/let at (REPL:1:1).
[a b 3] - failed: even-number-of-forms? at: [:bindings] spec: :clojure.core.specs.alpha/bindings
Хоть и вывод ошибок может поначалу оттолкнуть, но спустя время к ним привыкаешь.
Задание
Выведите в стандартный поток вывода (с помощью функции println) результат парсинга строки 256 (с помощью метода Integer/parseInt).
Упражнение не проходит проверку — что делать? 😶
Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:
- Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨
Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.
Мой код отличается от решения учителя 🤔
Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.
В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.
Прочитал урок — ничего не понятно 🙄
Создавать обучающие материалы, понятные для всех без исключения, довольно сложно. Мы очень стараемся, но всегда есть что улучшать. Если вы встретили материал, который вам непонятен, опишите проблему в «Обсуждениях». Идеально, если вы сформулируете непонятные моменты в виде вопросов. Обычно нам нужно несколько дней для внесения правок.
Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.