Function 部分应用函数_Function_Haskell_Partially Applied Type

Function 部分应用函数

function haskell

Function 部分应用函数,function,haskell,partially-applied-type,Function,Haskell,Partially Applied Type,在研究函数式编程时，经常会出现部分应用函数的概念。在Haskell中，内置函数take被认为是部分应用的我仍然不清楚部分应用函数的确切含义，或者它的使用/含义。函数本身不能“部分应用”或不“部分应用”。这是一个毫无意义的概念当你说一个函数是“部分应用的”时，你指的是如何调用该函数（也称为“应用的”）。如果调用该函数及其所有参数，则称其为“完全应用”。如果缺少某些参数，则该函数称为“部分应用” 例如： -- The function `take` is fully applied here:

在研究函数式编程时，经常会出现部分应用函数的概念。在Haskell中，内置函数

take

被认为是部分应用的

我仍然不清楚部分应用函数的确切含义，或者它的使用/含义。

函数本身不能“部分应用”或不“部分应用”。这是一个毫无意义的概念

当你说一个函数是“部分应用的”时，你指的是如何调用该函数（也称为“应用的”）。如果调用该函数及其所有参数，则称其为“完全应用”。如果缺少某些参数，则该函数称为“部分应用”

例如：

-- The function `take` is fully applied here:
oneTwoThree = take 3 [1,2,3,4,5]

-- The function `take` is partially applied here:
take10 = take 10   -- see? it's missing one last argument

-- The function `take10` is fully applied here:
oneToTen = take10 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,42]

部分函数应用程序的结果是另一个函数-仍然“期望”获取其缺少的参数的函数-如上例中的

take10

，仍然“期望”接收列表

当然，一旦你进入高阶函数，它会变得更复杂一些，也就是说，函数以其他函数作为参数，或者返回其他函数作为结果。考虑这个函数：

mkTake n = take (n+5)

(+ 5) :: Num a => a -> a

add = \x -> x + 3

函数

mkTake

只有一个参数，但它返回另一个函数作为结果。现在，考虑一下：

x = mkTake 10
y = mkTake 10 [1,2,3]

在第一行，函数

mkTake

显然是“完全应用的”，因为它有一个参数，这正是它所期望的参数数量。但是第二行也是有效的：因为

mkTake 10

返回一个函数，所以我可以用另一个参数调用这个函数。那么，它使

mkTake

成为什么呢？“过度应用”，我猜

然后考虑一个事实：（除非编译器优化）所有的函数在数学上都是一个参数的函数。这怎么可能？当您声明一个函数时，

take nl=…

，您“概念上”说的是

take=\n->\l->…

——也就是说，

take

是一个函数，它接受参数

，并返回另一个接受参数

并返回一些结果的函数

因此，底线是“部分应用程序”的概念实际上并没有严格定义，它只是一个方便的缩写，用来指那些“应该”（如常识所示）接受N个参数，但被赋予M函数本身不能“部分应用”或不“部分应用”。这是一个毫无意义的概念

例如：

-- The function `take` is fully applied here:
oneTwoThree = take 3 [1,2,3,4,5]

-- The function `take` is partially applied here:
take10 = take 10   -- see? it's missing one last argument

-- The function `take10` is fully applied here:
oneToTen = take10 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,42]