Haskell 类型指定

Question

我必须指定两个函数的类型(不使用编译器:t)我只是不知道我如何阅读这些函数来做出正确的步骤。

f x = map -1 x
f x = map (-1) x

嗯，我有点困惑它将如何解析

Answer 1

函数应用程序或“空格运算符”的优先级高于任何运算符符号，因此第一行解析为 f x = map - (1 x)，这很可能 ¹ 是一个类型错误。

另一个示例是用括号括起来的，但请注意，(-1) 脱糖为 negate 1。这是正常规则的一个异常(exception)，其中 (+1) 等运算符部分将糖化为 (\x -> x + 1)，因此这也可能¹ 是一个类型错误，因为 map 需要一个函数而不是数字作为其第一个参数。

_{¹ 我说可能是因为技术上可以为允许进行类型检查的函数提供Num个实例。}