Бесплатный курс по Elixir. Зарегистрируйтесь для отслеживания прогресса →

Elixir: Логика

Булевый тип в Эликсир представлен значениями true и false. Но еще в языке есть nil — специальное значение выражающее отсутствие информации.

Двоичная логика представлена операторами and, or, not. Это "строгие" операторы, они работают только со значениями true и false:

true and true  # true
true and false # false
true or true   # true
true or false  # true
not true       # false
not false      # true

Так же есть операторы &&, ||, !. Их называют "смягченными" (relaxed) операторами, потому что в отличие от строгих, они принимают любые значения. При этом все значения, кроме false и nil интерпретируются как true:

42 && true   # true
false && nil # false
true || 42   # true
true || nil  # true
! nil        # true
! 42         # false

Оператор && в успешном случае возвращает свой второй аргумент, в неуспешном случае возвращает неуспешный аргумент:

true && 42  # успешно, второй аргумент, 42
42 && true  # успешно, второй аргумент, true
false && 42 # не успешно, false
nil && 42   # не успешно, nil
42 && nil   # не успешно, nil

Есть еще варианты:

false && nil # false
nil && false # nil

Но можно не запоминать их, так как на практике это не так важно.

Оператор || в успешном случае возвращает успешный аргумент:

42 || false  # 42
false || 42  # 42
nil || false # false
false || nil # nil

Оператор ! возвращает true или false при любых аргументах:

! 42    # false
! true  # false
! false # true
! nil   # true

В английской терминологии в контексте этих операторов значения false и nil называют falsy, а все остальные значения называют truthy. В буквальном переводе это значит "фальшивый" и "правдивый".

И строгие, и смягченные операторы являются ленивыми. То есть, они вычисляют только часть выражения, если этого достаточно:

IO.puts("a") && IO.puts("b") # => a b
IO.puts("a") || IO.puts("b") # => a
true or IO.puts("b")         # true
false and IO.puts("b")       # false

Некоторые разработчики используют их для вывода сообщения об ошибке в случае неуспешной операции:

do_something() || IO.puts("error")

Задание

Реализуйте функцию any?(a, b, c, d), которая принимает четыре булевых аргумента, и возвращает true, если среди аргументов есть true.

Реализуйте функцию truthy?(a, b), которая принимает два аргумента любого типа, и если первый аргумент truthy, то функция возвращает второй аргумент.

defmodule Solution do

  def any?(a, b, c, d) do
    # TODO реализация
  end

  def truthy?(a, b) do
    # TODO реализация
  end

end
Упражнение не проходит проверку — что делать? 😶

Если вы зашли в тупик, то самое время задать вопрос в «Обсуждениях». Как правильно задать вопрос:

  • Обязательно приложите вывод тестов, без него практически невозможно понять что не так, даже если вы покажете свой код. Программисты плохо исполняют код в голове, но по полученной ошибке почти всегда понятно, куда смотреть.
В моей среде код работает, а здесь нет 🤨

Тесты устроены таким образом, что они проверяют решение разными способами и на разных данных. Часто решение работает с одними входными данными, но не работает с другими. Чтобы разобраться с этим моментом, изучите вкладку «Тесты» и внимательно посмотрите на вывод ошибок, в котором есть подсказки.

Мой код отличается от решения учителя 🤔

Это нормально 🙆, в программировании одну задачу можно выполнить множеством способов. Если ваш код прошел проверку, то он соответствует условиям задачи.

В редких случаях бывает, что решение подогнано под тесты, но это видно сразу.

Прочитал урок — ничего не понятно 🙄

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

Кстати, вы тоже можете участвовать в улучшении курсов: внизу есть ссылка на исходный код уроков, который можно править прямо из браузера.

Нашли ошибку? Есть что добавить? Пулреквесты приветствуются https://github.com/hexlet-basics
Если вы столкнулись с трудностями и не знаете, что делать, задайте вопрос в нашем большом и дружном сообществе