Lambda 表示法 function 签名不能在 ghc 中编译，但在解释器 (ghci) 中可以

Question

Lambda 表示法 function 签名不能在 ghc 中编译，但在解释器（ghci）中可以，我在 mac osx 上使用堆栈。 ghc 版本是 8.8.3

\x y -> 2*x + y :: Num a => a -> a -> a 
valNum1 = \x y -> 2*x + y 

Answer 1

问题是您为 lambda 表达式定义了一个签名，但是这个 lambda 表达式是一个表达式，而不是一个声明。 如果要指定签名，则将其指定为valNum1的签名：

valNum1 :: Num a => a -> a -> a
valNum1 = \x y -> 2*x + y

然而，在valNum1的头部指定变量更方便：

valNum1 :: Num a => a -> a -> a
valNum1 x y = 2*x + y

或者您可以将其编写为无点变体：

valNum1 :: Num a => a -> a -> a
valNum1 = (+) . (2 *)