haskell - 在 Haskell 中使用带变量的反斜杠

Question

我正在学习 haskell 并找到了这个函数。我知道用反斜杠您可以创建 lambda 函数。

-- >(\x -> (fst x)* (snd x)) (2,3)
-- 6

我不明白的是这里使用反斜杠。有人可以解释一下吗。

 voltea::(a -> b -> c) -> b->a->c
 voltea = \f -> \x -> \y -> f y x
 main = print(voltea div 2 6)

Answer 1

记住，这个

f = \x -> <thing>

和这个一样

f x = <thing>

鉴于此，如果我给出括号，您的表达可能对您来说更有意义

voltea = (\f -> (\x -> (\y -> f y x)))

与

相同

voltea f = (\x -> (\y -> f y x))

与

相同

voltea f x = \y -> f y x

与

相同

voltea f x y = f y x

现在，请记住，在 Haskell 中，函数只是可以传递给其他函数的常规对象，您应该能够理解最后一行的作用。