用户在haskell中定义了更高阶的函数

Question

我去了几个Haskell学习示例,但我无法弄清楚如何在Haskell中编写用户定义的高阶函数

如果我们将一个参数作为函数如何定义函数id的类型？

Answer 1

让我们使用该函数map作为一个简单的例子.map获取函数和列表,并将该函数应用于列表的所有元素.如果你写了签名map,它就像这样运行:

首先,你需要一个功能.任何函数都可以,所以第一个参数的类型是a -> b.然后,您需要一个输入值列表.由于列表元素的类型必须适合函数的输入,因此列表的类型是[a].对于输出:a -> b当应用于类型的值时,函数的结果是什么a？对,它是b.所以结果类型是[b].组装在一起,我们的函数类型运行如下:

map :: (a -> b) -> [a] -> [b]

并定义如下:

map f []     = []
map f (x:xs) = f x : map f xs

这有助于您理解高阶函数的概念吗？

Answer 2

暂且不关心类型.询问编译器,它会告诉你类型.通过一些练习,您几乎可以看到类型和编译器[grin].

这里我们定义两个非常简单的高阶函数,twice和compose.第一个接受一个函数和一个参数,并将一个应用于另一个,两次.第二个接受两个函数和一个参数,并在链中将两个函数应用于它.

$ ghci
GHCi, version 6.12.1: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> let twice f x = f (f x)
Prelude> :t twice
twice :: (t -> t) -> t -> t
Prelude> let compose f g x = f (g x)
Prelude> :t compose
compose :: (t1 -> t2) -> (t -> t1) -> t -> t2
Prelude> 

你可以看到它twice得到两个类型(t->t)为type的参数t,并返回一个类型的结果t.t是任何类型(但在所有4次出现中都相同).

您可以尝试在某些常规函数上使用这些高阶函数.

Prelude> let times3 x = x * 3
Prelude> let times5 x = x * 5
Prelude> twice times3 2
18
Prelude> twice times5 2
50
Prelude> compose times3 times5 2
30
Prelude> 

Ans一些时髦的高级东西:

Prelude> (twice twice) times3 2
162
Prelude> twice (twice times3) 2
162
Prelude> 

你了解最后两个例子中发生了什么吗？