-> []
(_:s’’) -> lines s’’
При этом мы пропускаем в s’ первый элемент, поскольку он содержит символ переноса каретки.
Посмотрим на ещё одну функцию для работы со строками.
words
:: String -> [String]
words s
=
case dropWhile Char. isSpace s of
”” -> []
s’ -> w : words s’’
where (w, s’’) = break Char. isSpace s’
Функция words делает тоже самое, что и lines, только теперь в качестве разделителя выступает пробел.
Функция dropWhile отбрасывает от начала списка все элементы, которые удовлетворяют предикату. В строке
case dropWhile Char. isSpace s of
Мы одновременно отбрасываем все первые пробелы и готовим значение для декомпозиции. Дальше мы
рассматриваем два возможных случая для строк.
”” -> []
s’ -> w : words s’’
where (w, s’’) = break Char. isSpace s’
Если строка пуста, то делать больше нечего. Если – нет, мы также как и в предыдущей функции приме-
няем функцию break для того, чтобы выделить все элементы кроме пробела, а затем рекурсивно вызываем
функцию words на оставшейся части списка.
4.6 Краткое содержание
В этой главе мы узнали очень много новых синтаксических конструкций для определения функций. Они
появлялись парами. Сведём их в таблицу:
Элемент
Декларативный стиль
Композиционный
Локальные переменные
where-выражения
let-выражения
Декомпозиция
Сопоставление с образцом
case-выражения
Условные выражения
Охранные выражения
if-выражения
Определение функций
Уравнения
лямбда-функции
Краткое содержание | 69
Особенности синтаксиса
Нам встретилась новая конструкция в сопоставлении с образцом:
beside :: Nat -> (Nat, Nat)
beside
Zero
= error ”undefined”
beside