Основы функционального программирования/Структуры данных и базисные операции: различия между версиями

Содержимое удалено Содержимое добавлено
Уточнение ключа сортировки
Строка 160:
##*<math>\operatorname{oddEven}([\,]) = [\,]</math>
##*<math>\operatorname{oddEven}([x]) = [x]</math>
##*<math>\operatorname{oddEven}(L) = \operatorname{prefixappend}\bigg(\operatorname{prefix}\Big(\operatorname{head}(\operatorname{tail}(L)),\; \operatorname{head}(L)\Big),\; \operatorname{oddEven}\Big(\operatorname{tail}(\operatorname{tail}(L))\Big)\bigg)</math>
##<math>\operatorname{reverse}</math>:
##*<math>\operatorname{reverse}([\,]) = [\,]</math>