Haskell: вопрос о частичном применении
Я читаю книгу «Изучите Haskell во благо!» Миран Липовача и изучение функций высшего порядка в главе 5.
В одном из примеров используется следующая функция:
applyTwice :: (a -> a) -> a -> a
applyTwice f x = f (f x)
Ниже приведены примеры вывода функции:
ghci> applyTwice (++ " HAHA") "HEY"
"HEY HAHA HAHA"
ghci> applyTwice ("HAHA " ++) "HEY"
"HAHA HAHA HEY"
В первом примере я понимаю, что строка была создана с использованием оператора конкатенации следующим образом:
"HEY" ++ " HAHA"
"HEY HAHA" ++ " HAHA"
"HEY HAHA HAHA"
Однако я не понимаю, как работает оператор конкатенации во втором примере. Как создается выходная строка «ХА-ХА-ХА-ЭЙ»? Любые идеи приветствуются.
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
3
1
52
1
Перейти к ответу
Данный вопрос помечен как решенный
Ответы 1
Ответ принят как подходящий
For the first example, I understand that the string was produced by using the concatenation operator in the following manner:
"HEY" ++ " HAHA" "HEY HAHA" ++ " HAHA" "HEY HAHA HAHA"
Вместо того, чтобы сразу переходить к инфиксному выражению (т. е. ++ находится между ними), будет полезно, если вы мыслите с точки зрения функций.
(++ " HAHA") :: [Char] -> [Char] -- #1 this is a function (++ is partially applied)
"HEY" :: [Char]
(++ " HAHA") "HEY" -- apply "HEY" as an argument to #1
-- same as "HEY" ++ " HAHA"
(+) :: (Num a) => a -> a -> a -- #2 a binary function
(+) 1 2 -- #3 apply 1 and 2 as arguments to #2
-- same as 1 + 2
-- technically, #3 is curried as
-- ((+) 1) 2 -- i.e. (+) 1 is a partially applied function, which is then applied to 2
Если вы подставите (++ " HAHA") в определение applyTwice, вы получите
applyTwice f x = f (f x)
applyTwice (++ " HAHA") "HEY" = (++ " HAHA") ((++ " HAHA") "HEY")
= (++ " HAHA") ("HEY" ++ " HAHA")
= (++ " HAHA") ("HEY HAHA")
= "HEY HAHA" ++ " HAHA"
= "HEY HAHA HAHA"
Теперь сделайте то же самое с applyTwice ("HAHA " ++) "HEY".
applyTwice f x = f (f x)
applyTwice ("HAHA " ++) "HEY" = ("HAHA " ++) (("HAHA " ++) "HEY")
= ("HAHA " ++) ("HAHA " ++ "HEY")
= ("HAHA " ++) ("HAHA HEY")
= "HAHA " ++ "HAHA HEY"
= "HAHA HAHA HEY"
Другие вопросы по теме
Передать параметр самому внутреннему вызову составной функции
Как сложить структуры данных из нехвостовых рекурсивных алгоритмов?
Вставка дополнительных символов в каждый элемент списка с помощью пакета Purrr R
Kotlin FP: преобразовать List<String> в Map<String,Int>
Самый правильный способ перебрать список в haskell и вернуть элемент, для которого условие истинно
Сколько раз здесь вычисляется (+ 1)?
Как эффективно объединить несколько монад Maybe в JavaScript?
Добавление двух лямбда-функций в C++
Почему может быть только одна реализация класса типов для любого заданного параметра типа?
Как разрешить неправильный результат возврата из функции сокращения Ramda (javascript)
Похожие вопросы
Найдите следующий фактор KnownNat, учитывая начальный KnownNat на уровне типа
Как мне правильно передать параметр списка? Таким образом, интерпретатор дает мне ошибку для ожидаемого типа
Разница ограничений в экземплярах Semigroup и Monoid
Что такое кликовый эквивалент «stack ghci app:exe:executable»?
Как идиоматично написать эту функцию (которую обычно можно назвать filterA)?
Как проверить аргумент функции и передать его дальше?
Есть ли существенная разница между StateT над Reader и ReaderT над State?
Двунаправленные функциональные зависимости
Самый правильный способ перебрать список в haskell и вернуть элемент, для которого условие истинно
Почему этот код переполняется Int -> Int?
Я имею в виду... таким же образом? Это становится
"HAHA " ++ "HEY", а затем"HAHA " ++ "HAHA HEY", а затем"HAHA HAHA HEY".