没有实例（NUM（INT - >智力）），从字面'5' 产生

Question

我有以下功能：

f :: (Int -> Int) -> Int 
f = undefined 

现在我想打电话给f与5（这是不正确的）：

f 5 

显然，这不应该编译，因为5是不是从Int到Int功能。 所以，我期待一个错误消息，如Couldn't match expected type Int -> Int with Int。

而是我得到：

No instance for (Num (Int -> Int)) arising from the literal `5' 
In the first argument of `f', namely `5' 
In the expression: f 5 
In an equation for `it': it = f 5 

为什么Num出现在这里？

Answer 1

5是类型为Num的任何类型。这些类型包括Int，Double，Integer等

功能在类型类默认Num。然而，功能的实​​例可以由用户添加，例如，以逐点方式定义两个函数的总和。在这种情况下，文字5可以代表常数五功能。

从技术上讲，文字代表fromInteger 5，其中5是Integer常数。致电f 5因此实际上是f (fromInteger 5)，它试图将五个转换为Int -> Int。这需要Num (Int -> Int)的实例。

因此，GHC不会在其错误指出5不能是一个函数（因为它可能是，如果用户宣布它这样，提供一个合适的fromInteger）。它只是正确地指出，对于整数函数，找不到Num实例。