На этом шаге мы рассмотрим. данное понятие.
Ранее мы рассмотрели простые типы рекурсии на числовых структурах, которые представляют собой инструмент и для обработки списков:
Данные типы рекурсии применимы и к спискам.
as-образцы
В некоторых случаях удобно использовать форму образцов, которая называется "as-образцы". Она применяется, если имя образца предполагается использовать в правой части уравнения, задающего функцию.
Например, функция, дублирующая первый элемент списка, может быть записана так:
f(x:xs) = x : x : xs
Напомним, что операция ":" является правоассоциативной.
Обратите внимание на то, что выражение x:xs входит в это выражение дважды: как образец (as-pattern) в левой части определения и в выражение в правой части.
Для улучшения читабельности программы хотелось бы включать выражение x:xs в подобное определение лишь один раз; для этого используются именованные образцы.
На следующем шаге мы рассмотрим именованные образцы.
