Haskell - 如果将函数作为参数，高阶函数的输入是什么样的？

Question

我正在使用 Haskell，并尝试实现一个高阶函数，但我在理解和测试该函数时遇到了困难，因为我不确定输入会是什么样子。

由于函数本身是评分作业的一部分，我无法寻求有关编写/实现函数本身的帮助，所以我更改了函数名称和自定义类型名称，因此我可以将函数用作关于输入参数的示例，如果您将它们输入控制台。

search :: ([(Int,Int)] -> [[(Int,Int)]]) -> ([(Int,Int)] -> Bool) -> [[(Int,Int)]] -> Maybe [(Int,Int)]
search function1 function2 listOfIntegerPairs

function1 将整数对列表作为输入，并输出包含整数对的列表列表。

function2 获取一个整数对列表并输出一个 bool 值。

我不确定如何将这个高阶函数的参数输入到控制台。

即将函数及其参数作为参数包括在内会是这样吗？

search (function1([(0,0),(0,1)])) (function2([(0,0),(0,1)])) [(0,0),(0,1)]

此表单会产生错误，但我无法弄清楚输入参数的样子，并且无法找到说明它的任何文章/教程。因此，在弄清楚输入函数参数看起来像什么类型之前，我无法测试该函数。

谁能给我一些指导？我问的是可能的吗？

Answer 1

find Data.List 中的函数具有相似的类型。

find :: (a -> Bool) -> [a] -> Maybe a

在不透露find 定义的情况下，我们可以尝试在 ghci 中使用它。首先，我们需要导入 Data.List，因为它是在此处定义的。

> import Data.List

传递声明的函数

find 的第一个参数表示它需要一个类型为 a -> Bool 的函数。要将参数传递给 find，我们将整个函数传递给它。我们不需要先调用那个函数，或者给那个函数参数，我们可以把这个函数当作一个普通的值，然后把整个函数传递给find。这种将函数视为普通值的能力就是我们谈论语言的“函数作为一等公民”时的意思；我们可以用函数做任何我们可以用所有其他类型做的事情。要传递要查找的内容，我们需要先定义它。

> let divisibleBy3 x = x `mod` 3 == 0

现在，我们将把整个 divisibleBy3 函数作为第一个参数传递给 find。作为第二个参数，我们将传递一个包含我们想要查找的内容的列表，[4, 7, 9, 10]

> find divisibleBy3 [4, 7, 9, 10]
Just 9

传递一个 lambda

Haskell 提供了其他方法来定义函数，这些函数只是引用已经定义的函数。 lambda 构造一个新的 anonymous function .如果构造函数的类型正确，我们可以将其作为第一个参数传递给 find。

> find (\x -> x*3 == x + 8) [1,2,3,4,5,6,7,8,9,10]
Just 4

传递结果

函数类型既可以作为函数的参数出现，也可以作为函数的结果出现。这意味着我们可以创建新功能的功能。我们可以将函数组合运算符 . 编写为普通的函数声明。为此，我们首先需要隐藏前奏中的定义。

> import Prelude hiding ((.))
> let f . g = \x -> f (g (x))

在右侧写一个 lambda 强调，当仅应用于两个参数时，函数组合返回一个函数。在我们需要函数的任何地方，我们都可以传递任何具有正确类型的表达式。这意味着我们可以将 . 的结果传递给 find。这也意味着我们可以将以这些方式定义的函数作为参数传递给 ..

> find (not . odd) [1, 1, 2, 3, 5, 8]
Just 2

> find (not . divisibleBy3 . (\x -> x*(x+1))) [2, 3, 4, 5, 6]
Just 4

通过部分申请

当我们定义一个函数时

same :: Int -> Int -> Bool
same x y = x - y == 0

same 类型中的函数类型构造函数-> 是右结合的，这意味着右边的事物先于左边的事物组合在一起。

same :: Int -> (Int -> Bool)

加上这些括号我们可以看到，看起来像两个参数的函数的same，可以被视为只有一个参数的函数，Int，即返回一个函数，Int -> Bool。我们可以使用 partially applied函数生成函数作为参数传递。

> let same x y = x - y == 0
> find (same 7) [1..10]
Just 7