Логические операторы
True и False в Racket представлены значениями #t
и #f
. Запись непривычная, но в языках созданных много лет назад встречается и не такое. Большинство операций в Racket рассматривают как ложь только #f
. Все остальное считается истиной. Пара примеров проверки на равенство:
(equal? 42 42) ; #t
(equal? 42 24) ; #f
Равенство значений проверяется через функцию equal?
. Иногда может потребоваться сравнение по ссылке, в таком случае используют eq?
.
Напишем функцию gt?
, которая возвращает #t
, если первое число больше второго и #f
в другом случае. В Racket имена предикатов заканчиваются вопросительным знаком. При этом к ним не добавляется префикс “is”.
(define (gt? x y) (> x y))
(gt? 3 2) ; #t
(gt? 10 15) ; #f
Вот так разработчики на Ruby узнали почему в их языке предикаты выглядят как вопросы :)
Теперь напишем предикат, определяющий четность числа. Для этого нам понадобится функция remainder
, которая вычисляет остаток от деления.
(define (even? n) (= (remainder n 2) 0))
(even? 3) ; #f
(even? 4) ; #t
Логические операторы в Racket не имеют символьных обозначений, вместо этого используются функции and
, or
, not
и другие.
(not "moon") ; #f
(and (odd? 3) (even? 4)) ; #t
Как и в случае с арифметическими операциями, мы получаем два бонуса:
- Префиксная нотация позволяет комбинировать любое число условий:
(and <one> <two> <three> <...>)
. - Благодаря древовидной структуре исходного кода, приоритет всегда точно определен.
Задание
Реализуйте функцию same-parity?
, которая принимает на вход два числа и возвращает #t
в том случае если их четность совпадает. В ином случае возвращается #f
.
(same-parity? 3 7) ; #t
(same-parity? 4 8) ; #t
(same-parity? 4 7) ; #f
(same-parity? 3 10) ; #f
Упражнение доступно только авторизованным пользователям.
Пожалуйста, авторизуйтесь, это необходимо для отслеживания прогресса выполнения уроков. Если у вас ещё нет учётной записи, то сейчас самое время создать аккаунт.