高阶函数

Question

我试图从这里的指南中学习高阶函数，http://learnyouahaskell.com/higher-order-functions。但我有点困惑，希望有人能为我澄清一些事情。

所以我来看看这个例子：

applyTwice :: (a -> a) -> a -> a  
applyTwice f x = f (f x)  

好的，applyTwice是一个接受两个参数的函数，一个接受类型a和返回类型a的函数，第二个参数是类型a。函数返回一个类型的a。

在命令行中，我们得到了这样的结果：

ghci> applyTwice (++ " HAHA") "HEY"  
"HEY HAHA HAHA" 

所以函数f是(++)，它的类型是[a] -> [a] -> [a]。(++ " HAHA")是一个局部应用程序，对吗？我们只给了它一个参数，所以它返回[a] -> [a]。在applyTwice定义中，我想从(f x)部分开始。如果是“嘿”，这就产生了a类型的“嘿哈哈”，然后我需要应用f来得到“嘿哈哈”。

编辑:下面两个例子：(++ " HAHA")和("HAHA " ++)有什么区别？

ghci> applyTwice (++ " HAHA") "HEY"  
"HEY HAHA HAHA"  

ghci> applyTwice ("HAHA " ++) "HEY"  
"HAHA HAHA HEY" 

Answer 1

(++ " HAHA")和("HAHA " ++)有什么区别？

(++ " HAHA")将" HAHA"作为(++)函数的第二个参数。

("HAHA " ++)将"HAHA "作为(++)函数的第一个参数。

Answer 2

(++ " HAHA")和("HAHA " ++)之间的区别与传递参数的顺序有关。如果我们显式地使用lambdas，表达式如下所示：

(++ " HAHA") == (\x -> x ++ " HAHA") -- expands to: "HEY" ++ " HAHA"
("HAHA " ++) == (\x -> "HAHA " ++ x) -- expands to: "HAHA " ++ "HEY"

Answer 3

(++ "HAHA")与(\x -> x ++ "HAHA")相同

鉴于

("HAHA" ++)等于(\x -> "HAHA" ++ x)

从您的测试中也可以看出这一点。这种语法称为节，使(非交换)二进制运算符的部分应用更容易、更直观。