Как работает частное приложение?

Question

> map (++ "!") ["a", "b", "c"] 
["a!","b!","c!"] 
> (++) "!" "a" 
"!a" 

Эти две линии для меня не имеют смысла. При использовании ++ в map, кажется, что первый параметр добавляется ко второму, но во втором списке это наоборот. Как Хаскелл рассуждает о поведении в функции map?

Answer 1

(++ "!") - это немного специальный синтаксис, называемый operator section. Частично применяется параметр второй оператора инфикса, тогда как (++) "!" работает как обычное частичное приложение и применяет первый параметр.

Вы также можете сделать то же самое с регулярными функциями, используемыми в стиле infix с обратными зажимами: (`map` [1..3]) эквивалентен (\f -> map f [1..3]).

Кажется странным, потому что это особая особенность, которая присутствует там только потому, что это чертовски полезно.

Answer 2

Частичное применение (++ "!") идентично (\x -> x ++ "!"). Другими словами, выражение (++ "!") достаточно умен, чтобы знать, что "!" является вторым аргументом (++). Он знает это, потому что знает, что ++ является оператором инфикса. Во втором выражении (++) "!" "a" идентичен "!" ++ "a" и делает то, что вы ожидаете.

Answer 3

map (++ "!) ["a", "b", "c"] 

эквивалентно

["a" ++ "!", "b" ++ "!", "c" ++ "!"] 

И

(++) "!" "a" 

эквивалентно

"!" ++ "a" 

Надеется, что это помогает.