(a -> a) 和 a -> a 之间的区别一个

Question

我注意到（尽管我曾经被告知 (a -> a) 和 a -> a 表示同一件事），当我收到错误消息时我使用(a -> a)。在类型中使用括号时，我应该只使用 (a -> a) 吗？ （即 (5 + 3) 而不是 5 + 3）？只是不太确定何时有必要

Answer 1

(a -> a) 和 a -> a 单独使用时是相同的，

ff :: (a -> a)   -- this compiles
ff = id

gg :: a -> a
gg = id

h :: a -> a -> Bool
h _ _ = True

i = h ff gg   -- this compiles => ff & gg are of the same type.

但与更多类型组合时会有所不同，例如：

 a -> a  -> b
(a -> a) -> b

这是因为 -> 是右关联的，所以 一个->一个-> b 实际上意味着 a -> (a -> b) （获取一个 a 并返回一个函数），这与 (a -> a) ->; b（接受一个函数并返回b）。

这就像(1+2)*3与1+2*3不同。

Answer 2

当编译器可用的其他信息无济于事时，括号可以消除 Haskell 中的多个构造的歧义：

应用程序关联到左侧

因此您可以省略函数参数上的括号。

涉及中缀运算符的表达式通过运算符的固定性消除歧义。

因此，在许多情况下，具有不同固定性的二元运算符不需要括号。

具有相同优先级的连续无括号运算符必须都是左关联或右关联，以避免语法错误。

最后：

给定一个不带括号的表达式 x op y op z，必须在 x op y 或 y op z 周围添加括号，除非某些情况关于优先级保持的条件

如果上述陈述没有任何意义， 我的一般建议：过度括号，直到您了解规则。或者，努力学习Haskell Report。

Answer 3

考虑表达式 10 / 2 / 5。这与 (10 / 2) / 5 或 10 / (2 / 5) 相同吗？如果将 / 解释为数学除法，则前者为 true，而后者为 false。所以你看，你的问题的答案是“有区别，但只是有时”。

类型则相反。 a-> b-> c 与 a -> 相同(b -> c)，并且绝对不同于 (a -> b) -> c.

你说你不太确定什么时候有必要：那就是了。当函数的参数也是一个函数时，那么它是必要的。

考虑 map :: (a -> b) -> [一]-> [b]。这与 a -> 不同。 b-> [一]-> [b]，如你所见，(a -> b) 表示一种特定类型的函数：从类型 a 到类型 的函数b。

迭代 :: (a -> a) ->一个-> [a] 更有趣。该函数要求第一个参数中函数的输入和输出类型必须相同。

您可能有兴趣阅读柯里化和部分应用。众多资源中的一个很好的资源：学习 Haskell # Curried 函数

Answer 4

仅当您创建高阶函数时，这才会产生影响。例如：

f :: a -> a -> b

是一个需要两个 a 类型的参数并返回一个 b 类型的值的函数，如下所示

f 2 2
f True True

但该函数

f :: (a -> a) -> b

需要一个函数作为参数。唯一一次 a ->;如果 a 和 (a -> a) 是类型推断中唯一的参数，那么它们是相同的，就像这里的

f :: (a -> a)
-- Same type as
f :: a -> a

() in types 的规则与正常表达几乎相同。这就像更高一层的表达式。

Answer 5

他们是一样的。您能描述一下使用 (a -> a) 时遇到的错误吗？它对我来说在 ghci-7.0.3 上工作得很好：

Prelude> let f :: (a -> a); f = id
Prelude> f "foo"
"foo"
Prelude>

一般来说，当您使用函数作为参数时，您需要在类型中使用括号。例如，map :: (a -> b) -> [一]-> [b]。如果没有括号，那就意味着别的东西。