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 # первое значение истинно, возвращается второй аргумент
false && nil # false
nil && false # nilОператор || возвращает первое значение, если оно является истинным, иначе возвращается второе значение:
42 || false # 42
false || 42 # 42
nil || false # false
false || nil # nilУнарный оператор ! принимает любое значение и возвращает true, если значение равно false и nil, иначе возвращается 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, то функция возвращает второй аргумент.
Solution.any?(false, false, false, false) # => false
Solution.any?(true, false, false, false) # => true
Solution.any?(false, true, false, true) # => true
Solution.truthy?(true, 42) # => 42
Solution.truthy?("hello", false) # => false
Solution.truthy?("", nil) # => nilElixir: Логика
Булевый тип в Эликсир представлен значениями 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 # первое значение истинно, возвращается второй аргумент
false && nil # false
nil && false # nilОператор || возвращает первое значение, если оно является истинным, иначе возвращается второе значение:
42 || false # 42
false || 42 # 42
nil || false # false
false || nil # nilУнарный оператор ! принимает любое значение и возвращает true, если значение равно false и nil, иначе возвращается 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, то функция возвращает второй аргумент.
Solution.any?(false, false, false, false) # => false
Solution.any?(true, false, false, false) # => true
Solution.any?(false, true, false, true) # => true
Solution.truthy?(true, 42) # => 42
Solution.truthy?("hello", false) # => false
Solution.truthy?("", nil) # => nilВаше упражнение проверяется по этим тестам
defmodule Test do
use ExUnit.Case
test "any?" do
assert false == Solution.any?(false, false, false, false)
assert true == Solution.any?(true, false, false, false)
assert true == Solution.any?(false, true, false, false)
assert true == Solution.any?(false, false, true, false)
assert true == Solution.any?(false, false, false, true)
assert true == Solution.any?(false, true, false, true)
end
test "truthy?" do
assert 42 == Solution.truthy?(true, 42)
assert [42] == Solution.truthy?(1, [42])
assert false == Solution.truthy?("hello", false)
assert nil == Solution.truthy?("", nil)
end
endРешение учителя откроется через:
20:00
