haskell - 在 Haskell 中映射列表 : Non-type variable argument in constraint

Question

这个问题已经有答案了:

Why is the unary minus operator problematic in this expression: (- 2) 1? [duplicate] (1 个回答)

已关闭 6 年前。

let fun1  = (+3)
let fun2  = (-3)
let range = [1,2,3,3]
let a = map fun1 range
let b = map fun2 a

这给了我一个错误:

Non-type variable argument in the constraint: Num (a -> b)

Haskell 的静态特性确实让我头疼......

Answer 1

实际上，让你头疼的是语法而不是类型系统。这是因为 (-3) 实际上是数字“减三”:

fun2 :: Num a => a

所以问题是你并没有真正提供一个函数，而更多的是一个常量。

例如，您可以通过编写以下内容来解决它:

let fun2 = \x -> x-3

或者:

let fun2 = (+) (-3)

The static nature of Haskell really gives me headaches...

实际上，当用 Haskell 编写程序时，我睡得更好，因为在动态类型语言中，你经常会遇到“狼人日”:一切都出错的日子。