Сопоставление с образцом — это мощная функция Haskell, позволяющая деструктурировать и анализировать структуры данных. Он играет фундаментальную роль в функциональном программировании и широко используется для определения функций, сопоставления шаблонов данных и выполнения сложных преобразований данных. В этой статье мы рассмотрим различные методы сопоставления с образцом в Haskell, сопровождаемые примерами кода. Давайте погрузимся!

1. Основное сопоставление с шаблоном.
   Самая простая форма сопоставления с шаблоном включает определение шаблонов и соответствующих действий. Вот пример:

isZero :: Int -> Bool
isZero 0 = True
isZero _ = False

В приведенном выше фрагменте кода шаблон 0соответствует только тогда, когда входное значение равно нулю, а _ – это шаблон подстановочного знака, который соответствует любому значению. Эта функция возвращает True, если входное значение равно нулю, и Falseв противном случае.

1. Сопоставление шаблонов кортежей.
   Вы можете сопоставлять шаблоны в кортежах, указав шаблоны для каждого элемента. Вот пример:

sumPair :: (Int, Int) -> Int
sumPair (x, y) = x + y

Шаблон (x, y)соответствует кортежу из двух элементов, а функция возвращает сумму двух элементов.

1. Сопоставление с образцом списков.
   Сопоставление с образцом также можно использовать для деконструкции списков. Вот пример:

sumList :: [Int] -> Int
sumList []     = 0
sumList (x:xs) = x + sumList xs

Шаблон []соответствует пустому списку, а (x:xs)соответствует списку с заголовком xи хвостом 12. Функция рекурсивно суммирует элементы списка.

grade :: Int -> String
grade x
  | x >= 90   = "A"
  | x >= 80   = "B"
  | x >= 70   = "C"
  | otherwise = "F"